Assertion list
car manufacturer (subgroup of manufacturer ) → HasProperty
Results from Ascent++: 1
car manufacturer → HasProperty → happy 0.68