Assertion list
female tiger (subgroup of tiger ) → IsA
Results from Ascent++: 1
female tiger → IsA → smaller than males 0.82