Assertion list
bunny (primary) → HasPrerequisite
Results from Ascent++: 1
bunny → HasPrerequisite → home 0.44