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