Assertion list
boat (primary) → IsA
Results from Ascent++: 2
boat → IsA → vessel 0.44
boat → IsA → vehicle 0.38