Assertion: mathematician | /r/HasSubgroup | great mathematician
Facets:
Source sentences: