Assertion: predicate | /r/HasSubgroup | nullary predicate
Facets:
Source sentences: