Assertion list
new car (subgroup of car ) → HasPrerequisite
Results from Ascent++: 3
new car → HasPrerequisite → less maintenance 0.33
new car → HasPrerequisite → maintenance 0.31
new car → HasPrerequisite → a warranty repair 0.25