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