Assertion: tilde expansion | /r/HasProperty | performed in case
Facets:
Source sentences:
text: In these cases, tilde expansion is also performed.