Assertion list
sit kayak (subgroup of kayak ) → IsA
Results from Ascent++: 2
sit kayak → IsA → great choice 0.41
sit kayak → IsA → faster 0.16