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