(<=> (Member-Of-Organization ?Self) (And (Person ?Self) (Exists (?A) (And (Mereological-Member-Of ?Self ?A) (Organization ?A)))))