Assertion list
convoy (primary) → HasProperty
Results from Ascent++: 5
convoy → HasProperty → active 0.40
convoy → HasProperty → empty 0.36
convoy → HasProperty → vulnerable 0.16
convoy → HasProperty → necessary 0.16
convoy → HasProperty → complete 0.09