Assertion: cardinal | /r/HasSubgroup | red cardinal
Facets:
Source sentences: