Assertion: degree | /r/HasSubgroup | ad eundem degree
Facets:
Source sentences: