Assertion list
dry dock (primary) → ReceivesAction
Results from Ascent++: 3
dry dock → ReceivesAction → flooded 0.64
dry dock → ReceivesAction → drained 0.37
dry dock → ReceivesAction → completed 0.25