Assertion list
minivan (primary) → DefinedAs
Results from Ascent++: 1
minivan → DefinedAs → their smaller size 0.35