Assertion: standard | /r/HasSubgroup | universal standard
Facets:
Source sentences: