A Relationship between a For-Sale and a Legal-Entity where by the Legal-Entity is specifically offered the Product-For-Sale
(<=> (Proposed-Sale-Offer ?X) (And (For-Sale ?X) (Exists (?Le) (Specified-Potential-Customer ?X ?Le))))
(Inherited-Facet-Value Slot-Value-Type For-Sale Specified-Potential-Customer Legal-Entity) (Inherited-Facet-Value Minimum-Slot-Cardinality For-Sale Specified-Potential-Customer 0)