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