Assertion list for term "an energy of 7 tev".

Results from Ascent++: 1
proton HasAan energy of 7 tev 0.25