Assertion list
road bike (subgroup of bicycle ) → IsA
Results from Ascent++: 1
road bike → IsA → good choice 0.16