Assertion list
new puppy (subgroup of puppy ) → IsA
Results from Ascent++: 3
new puppy → IsA → good idea 0.25
new puppy → IsA → a lot of work 0.16
new puppy → IsA → big responsibility 0.16