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