Assertion: relay | /r/HasSubgroup | buchholz relay
Facets:
Source sentences: