Assertion list
teddy (primary) → HasPrerequisite
Results from Ascent++: 1
teddy → HasPrerequisite → bath 0.45