Assertion list
free electron (subgroup of electron ) → AtLocation
Results from Ascent++: 1
free electron → AtLocation → random motion 0.33