Assertion: wok | /r/HasSubgroup | induction wok
Facets:
Source sentences: