disjunction (4:25) used in condition, but `:disjunctive-preconditions` is not in requirements section