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