Assertion list
inflatable kayak (subgroup of kayak ) → CapableOf
Results from Ascent++: 1
inflatable kayak → CapableOf → get punctured 0.16