Assertion list
passenger ship (subgroup of ship ) → IsA
Results from Ascent++: 1
passenger ship → IsA → a merchant ship 0.39