Assertion: church | /r/HasSubgroup | complexity theoretic church
Facets:
Source sentences: