(<=> (Legal-Entity ?X) (And (Eo-Entity ?X) (Or (Person ?X) (Corporation ?X) (Partnership ?X)))) (<=> (Partner ?Partner) (And (Person ?Partner) (Actor ?Partner) (Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))
(Inherited-Facet-Value Slot-Value-Type Employment-Contract Employee Person) (Exhaustive-Subclass-Partition Legal-Entity (Setof Person Corporation Partnership))