Assertion list
pigeon (primary) → HasPrerequisite
Results from Ascent++: 1
pigeon → HasPrerequisite → bath 0.50