Assertion: aleph | /r/HasSubgroup | generic aleph
Facets:
Source sentences: