Assertion list
pet rat (subgroup of rat ) → HasA
Results from Ascent++: 1
pet rat → HasA → fur 0.16