Assertion list
week old puppy (subgroup of puppy ) → IsA

Results from Ascent++: 2
week old puppyIsA baby 0.59
week old puppyIsA playing 0.56