Relation POSTCONDITION

Arity: 2

Range: Situation

Subrelation-Of: Planning-relation

Axioms:

(=> (Postcondition ?A ?B)
    (Exists (?C) (And (Method-Of ?A ?C) (Outcome ?C ?B))))

• Defined in theory: Planning
• Source code: Planning.lisp