Assertion list
self driving car (subgroup of car ) → HasA
Results from Ascent++: 1
self driving car → HasA → pedal 0.26