Assertion list for term "wheelbase".
Results from Ascent++: 1
new car (subgroup of car) → HasA → wheelbase 0.25