Assertion list
new puppy (subgroup of puppy ) → HasA

Results from Ascent++: 1
new puppyHasA accident 0.16