Relation COMMON-GOAL

COMMON-GOAL is modelled as a goal shared by a group's members.
Arity: 2
Domain: Group
Subrelation-Of: Goal
Axioms:
(<=> (Common-Goal ?A ?B) (And (Goal ?A ?B) (Group ?A)))