Assertion list
small boat (subgroup of boat ) → HasProperty
Results from Ascent++: 2
small boat → HasProperty → fun 0.69
small boat → HasProperty → easy 0.25