Assertion: value | /r/HasSubgroup | incommensurable value
Facets:
Source sentences: