Assertion list
mass (aspect of neutrino ) → HasProperty
Results from Ascent++: 2
mass → HasProperty → small 0.68
mass → HasProperty → zero 0.25