Assertion: twang | /r/HasSubgroup | proof twang
Facets:
Source sentences: