Assertion list
tow truck (subgroup of truck ) → CapableOf
Results from Ascent++: 1
tow truck → CapableOf → replaced chain trucks 0.25