Assertion list
minivan (primary) → IsA
Results from Ascent++: 1
minivan → IsA → heavier than cars 0.25