Assertion: predicate | /r/HasSubgroup | regular numerical predicate
Facets:
Source sentences: