Assertion: value | /r/HasSubgroup | spt n value
Facets:
Source sentences: