Assertion list for term "more massive than electrons".

Results from Ascent++: 1
proton HasPropertymore massive than electrons 0.40