Assertion list
baby spoon (subgroup of spoon ) → HasProperty
Results from Ascent++: 1
baby spoon → HasProperty → easy 0.59