Assertion: logic | /r/HasSubgroup | clocked logic
Facets:
Source sentences: