Assertion list
container ship (subgroup of ship ) → HasA
Results from Ascent++: 1
container ship → HasA → bulbous bow 0.25