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