Assertion list
rotor (primary) → AtLocation
Results from Ascent++: 2
rotor → AtLocation → autorotation 0.41
rotor → AtLocation → phase 0.25