Relation PROCEDURAL-FOCUS

Arity: 2

Domain: Abstraction, Generic-plan

Range: Entity, Health-condition

Subrelation-Of: Inverse-of-planning-relation

Axioms:

(<=> (Procedural-Focus ?A ?B)
     (And (Exists (?C) (And (Method-Of ?A ?C) (Target ?C ?B)))
          (Abstraction ?A)
          (Entity ?B)
          (Inverse-Of-Planning-Relation ?A ?B)
          (Generic-Plan ?A)
          (Health-Condition ?B)))

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