Assertion list
body (aspect of destroyer ) → ReceivesAction
Results from Ascent++: 2
body → ReceivesAction → never recovered 0.61
body → ReceivesAction → recovered 0.27