Assertion list
forklift (primary) → IsA
Results from Ascent++: 1
forklift → IsA → vehicle 0.44