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