Assertion: syntax's argument | /r/HasProperty | coset
Facets:
Source sentences:
text: This is sometimes unavoidable when the arguments are cosets and the equation refers to coset representatives.