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