Assertion list
origin (aspect of coordinate system ) → ReceivesAction
Results from Ascent++: 2
origin → ReceivesAction → defined 0.25
origin → ReceivesAction → exchanged with vertex 0.25