Assertion list
skateboard (primary) → IsA
Results from Ascent++: 1
skateboard → IsA → board 0.47