Assertion list
ship (primary) → IsA
Results from Ascent++: 2
ship → IsA → the largest vessel 0.48
ship → IsA → vessel 0.41