Assertion list
passenger ship (subgroup of ship ) → HasProperty
Results from Ascent++: 1
passenger ship → HasProperty → the largest 0.16