Assertion list
new truck (subgroup of truck ) → HasA
Results from Ascent++: 1
new truck → HasA → feature 0.31