Assertion list
interstate mover (subgroup of mover ) → HasA
Results from Ascent++: 1
interstate mover → HasA → valid usdot number 0.84