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