Assertion: stroke | /r/HasSubgroup | sheffer stroke
Facets:
Source sentences: