Relation PROCEDURAL-FOCUS-OF

This is to talk of a plan focus, i.e. the targets of procedures having that plan as method.
Arity: 2
Domain: Health-condition
Range: Generic-plan
Subrelation-Of: Planning-relation
Axioms:
(<=> (Procedural-Focus-Of ?A ?B)
     (And (Planning-Relation ?A ?B)
          (Exists (?C) (And (Target-Of ?A ?C) (Method ?C ?B)))
          (Health-Condition ?A)
          (Generic-Plan ?B)))