Relation CONVENTIONAL-GOAL

Arity: 2
Domain: Process
Range: Temporalized-entity
Subrelation-Of: Pseudo-actor
Axioms:
(<=> (Conventional-Goal ?A ?B)
     (And (Exists (?C) (And (From-Actor ?A ?C) (Goal ?C ?B)))
          (Pseudo-Actor ?A ?B)
          (Process ?A)
          (Temporalized-Entity ?B)))