Assertion: ion's proton | /r/ObjectUse | used at the lhc
Facets:
Source sentences:
text: Protons and lead ions (the bare nuclei of lead atoms) are used at the LHC.