Assertion: boolean algebra | /r/HasSubgroup | implied boolean logic
Facets:
Source sentences: