Assertion list
dump truck (subgroup of truck ) → CapableOf
Results from Ascent++: 2
dump truck → CapableOf → travel in diesel mode 0.60
dump truck → CapableOf → lose control 0.31