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