Assertion list
week old puppy (subgroup of puppy ) → IsA
Results from Ascent++: 2
week old puppy → IsA → baby 0.59
week old puppy → IsA → playing 0.56