COMMON-GOAL is modelled as a goal shared by a group's members.
(<=> (Common-Goal ?A ?B) (And (Goal ?A ?B) (Group ?A)))