Assertion list
convoy (primary) → HasA
Results from Ascent++: 2
convoy → HasA → several norwegian ships 0.65
convoy → HasA → changed strategy 0.25