Assertion list
opposite rudder (subgroup of rudder ) → ReceivesAction

Results from Ascent++: 1
opposite rudderReceivesAction applied 0.68