Assertion: short circuit | /r/HasSubgroup | direct short
Facets:
Source sentences: