Assertion list
cart (primary) → IsA
Results from Ascent++: 1
cart → IsA → vehicle 0.48