Assertion: coordinate | /r/HasSubgroup | positive coordinate
Facets:
Source sentences: