Assertion: nod | /r/HasSubgroup | continuity nod
Facets:
Source sentences: