Assertion list
electron (aspect of hydrogen atom ) → AtLocation
Results from Ascent++: 1
electron → AtLocation → constant motion 0.25