Assertion list
explanation (primary) → HasPrerequisite
Results from Ascent++: 2
explanation → HasPrerequisite → the fewest assumptions 0.52
explanation → HasPrerequisite → miracle 0.25