Assertion list
ford (primary) → HasPrerequisite
Results from Ascent++: 1
ford → HasPrerequisite → time 0.42