Assertion list
charge (aspect of electron ) → AtLocation

Results from Ascent++: 1
chargeAtLocation the kind of electrons 0.25