Assertion list
pet rat (subgroup of rat ) → HasProperty
Results from Ascent++: 2
pet rat → HasProperty → clean 0.16
pet rat → HasProperty → intelligent 0.16