Assertion list
new puppy (subgroup of puppy ) → HasProperty
Results from Ascent++: 6
new puppy → HasProperty → healthy 0.43
new puppy → HasProperty → happy 0.35
new puppy → HasProperty → cute 0.31
new puppy → HasProperty → small 0.25
new puppy → HasProperty → safe 0.23
new puppy → HasProperty → easy 0.16