Assertion list
mass (aspect of proton ) → HasProperty

Results from Ascent++: 5
massHasProperty small 0.47
massHasProperty larger 0.40
massHasProperty negligible 0.40
massHasProperty invariant 0.25
massHasProperty zero 0.25