Assertion list
charge (aspect of neutrino ) → HasProperty

Results from Ascent++: 1
chargeHasProperty negative 0.25