Assertion list
axis (aspect of gyroscope ) → ReceivesAction

Results from Ascent++: 2
axisReceivesAction free to assume any orientation 0.63
axisReceivesAction determined by the support 0.37