Assertion list
pet cat (subgroup of cat ) → HasProperty
Results from Ascent++: 2
pet cat → HasProperty → playful 0.16
pet cat → HasProperty → welcome 0.16