(=> (Activity-Or-Spec ?X) (Eo-Entity ?X)) (=> (Legal-Entity ?X) (Eo-Entity ?X))
(<=> (Activity-Or-Spec ?X) (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X)))) (<=> (Legal-Entity ?X) (And (Eo-Entity ?X) (Or (Person ?X) (Corporation ?X) (Partnership ?X))))