析取存在约束

disjunctive existence constraint