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