Assertion list
tug (primary) → HasA
Results from Ascent++: 2
tug → HasA → control of a vessel 0.25
tug → HasA → simple rules 0.16