Assertion list
energy (aspect of atom ) → AtLocation
Results from Ascent++: 1
energy → AtLocation → the smallest orbit 0.25