Assertion list
bulldozer (primary) → IsA
Results from Ascent++: 3
bulldozer → IsA → tracked tractor 0.50
bulldozer → IsA → a track-type tractor 0.31
bulldozer → IsA → basic equipment 0.25