Relation TARGET-POPULATION-OF

This is to talk of plan target hosts, i.e. the hosts of targets of procedures having that plan as method.
Arity: 2
Domain: Group
Range: Guideline
Subrelation-Of: Planning-relation
Axioms:
(<=> (Target-Population-Of ?A ?B)
     (And (Planning-Relation ?A ?B)
          (Exists (?C)
                  (And (Scattered-Location-Of ?A ?C)
                       (Procedural-Focus-Of ?C ?B)))))