Assertion list
bobber (primary) → IsA
Results from Ascent++: 1
bobber → IsA → motorcycle 0.25