Assertion list
male bison (subgroup of bison ) → IsA
Results from Ascent++: 1
male bison → IsA → larger than the female 0.68