Assertion list
tractor (primary) → IsA
Results from Ascent++: 2
tractor → IsA → vehicle 0.47
tractor → IsA → truck 0.25