Assertion list
energy (aspect of atom ) → AtLocation

Results from Ascent++: 1
energyAtLocation the smallest orbit 0.25