Assertion list
new truck (subgroup of truck ) → IsA
Results from Ascent++: 1
new truck → IsA → model year 0.34