Assertion: gate | /r/HasSubgroup | ising gate
Facets:
Source sentences: