Assertion: lecture | /r/HasSubgroup | following lecture
Facets:
Source sentences: