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