Assertion list
solar car (subgroup of car ) → IsA
Results from Ascent++: 1
solar car → IsA → electric vehicles 0.77