Assertion list
container ship (subgroup of ship ) → HasProperty
Results from Ascent++: 1
container ship → HasProperty → huge 0.25