Assertion list
convoy (primary) → AtLocation
Results from Ascent++: 1
convoy → AtLocation → accordance 0.29