Assertion: obstruction | /r/HasSubgroup | fixed obstruction
Facets:
Source sentences: