Assertion list
new truck (subgroup of truck ) → HasProperty
Results from Ascent++: 2
new truck → HasProperty → expensive 0.26
new truck → HasProperty → wider 0.16