proposal was:
"Remove sentence "An entity can be a member of at most one entity set." in fourth paragraph of section 3.
Servers not able to cope with this can always restrict the models they serve to only allow one "place of residence" per entity."
Consistent with offline discussion with Ralf and others, changing proposal to:
"Close without action"
Reasoning:
An OData entity is just a shadow of the "real thing" living somewhere in the domain model of an enterprise application. A "real thing" can cast multiple shadows, so it may show up in many OData services. Or multiple times in one service.
So I have NorthernCustomers(4711), SouthernCustomers(4712), EasternCustomers(4711), and WesternCustomers(4712). Each of four OData entities nicely belongs to one entity set. All of these sets use the same entity type, and that some of these entities have the same key value is all the indication a client will get that if it changes one of the four, another one will magically also change. We might give a hint by using the same edit link in entities with the same key, but probably that's not worth the trouble; let the infrastructure generate the canonical URL for each shadow.
Enter navigation properties: each of these customers belongs to a Country, and all Country entities live in a single Countries entity set. Which is not really a problem anymore: the Country navigation property in Customer and the Customers navigation property in Country just don't have a Partner attribute, and the latter either has no navigation property binding or binds to the Customers entity set where a third shadow of each "real thing" lives.
So the MEST problem seems to be solved and I think we can close the ticket without action; we have everything in place to model our situation.
I am very concerned that supporting entity instances in multiple entity sets is a much deeper change than simply removing the sentence that prevents it.
From the early days of the Entity Data Model on which OData is based, the concept that an entity lives in at most one entity set, and that its key uniquely identifies it within that set, has been a founding principle. I am very concerned about relaxing that principle.
The way in OData to get all employees who are managers is by explicitly casting, for example:
~Employees returns all employees, whether they are managers or not, and
~Employees/Sales.Manager returns only those employees that are managers