(define (domain Pathways-Propositional) (:requirements :typing :adl) (:types simple complex - molecule) (:predicates (association-reaction ?x1 ?x2 - molecule ?x3 - complex) (catalyzed-association-reaction ?x1 ?x2 - molecule ?x3 - complex) (synthesis-reaction ?x1 ?x2 - molecule) (possible ?x - molecule) (available ?x - molecule) (chosen ?s - simple) (next ?l1 ?l2 - level) (num-subs ?l - level)