Assertion list
hull (aspect of ship ) → HasA
Results from Ascent++: 1
hull → HasA → double bottom 0.33