Assertion list
new puppy (subgroup of puppy ) → HasPrerequisite
Results from Ascent++: 2
new puppy → HasPrerequisite → extra attention 0.16
new puppy → HasPrerequisite → stable environment 0.16