Assertion list
new boat (subgroup of boat ) → IsA
Results from Ascent++: 1
new boat → IsA → faster 0.38