Assertion list
new boat (subgroup of boat ) → HasA
Results from Ascent++: 1
new boat → HasA → warranty 0.49