Assertion list
energy (aspect of electron ) → AtLocation
Results from Ascent++: 3
energy → AtLocation → longitudinal component 0.50
energy → AtLocation → the conduction band 0.25
energy → AtLocation → the smallest orbit 0.25