Assertion: proton | /r/HasSubgroup | z proton
Facets:
Source sentences: