Assertion list
value (aspect of electron ) → AtLocation
Results from Ascent++: 1
value → AtLocation → good agreement 0.32