Assertion: degree | /r/HasSubgroup | code point
Facets:
Source sentences: