Assertion list
rotor (aspect of helicopter ) → ReceivesAction
Results from Ascent++: 2
rotor → ReceivesAction → required to stop helicopter 0.31
rotor → ReceivesAction → replaced 0.25