Assertion list
new lifeboat (subgroup of lifeboat ) → ReceivesAction
Results from Ascent++: 2
new lifeboat → ReceivesAction → placed on service 0.68
new lifeboat → ReceivesAction → sent to the station 0.25