Assertion list
miniature horse (subgroup of horse ) → CapableOf
Results from Ascent++: 1
miniature horse → CapableOf → pull cart 0.16