Assertion list
correction (primary) → HasPrerequisite
Results from Ascent++: 2
correction → HasPrerequisite → large amount 0.29
correction → HasPrerequisite → costly extra labor time 0.16