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