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)