Assertion list
firing pin (primary) → ReceivesAction
Results from Ascent++: 3
firing pin → ReceivesAction → removed 0.45
firing pin → ReceivesAction → blocked 0.42
firing pin → ReceivesAction → released 0.37