Assertion list for term "stuck in closed position".
Results from Ascent++: 2
relay → ReceivesAction → stuck in closed position 0.41
valve → ReceivesAction → stuck in closed position 0.26