Assertion list
new boat (subgroup of boat ) → HasProperty
Results from Ascent++: 4
new boat → HasProperty → expensive 0.39
new boat → HasProperty → bigger 0.25
new boat → HasProperty → safe 0.16
new boat → HasProperty → unblemished 0.16