I) Predicates#

The preconditions, effects, and goals are described by predicates and evaluated by the corresponding functions.

#