Assertion: expression's type | /r/AtLocation | the set
Facets:
Source sentences:
text: in the set, where is the type in which the member is declared, the following rules are applied: