Assertion list
jet (primary) → HasPrerequisite
Results from Ascent++: 1
jet → HasPrerequisite → some help 0.25