Assertion: method | /r/HasSubgroup | suzuki method
Facets:
Source sentences: