Assertion: bar | /r/HasSubgroup | psi bar
Facets:
Source sentences: