Assertion list
arabian horse (subgroup of horse ) → HasProperty
Results from Ascent++: 2
arabian horse → HasProperty → smart 0.16
arabian horse → HasProperty → versatile 0.16