Assertion list
lift (primary) → HasPrerequisite
Results from Ascent++: 3
lift → HasPrerequisite → only a few parts 0.32
lift → HasPrerequisite → custom four-link systems 0.27
lift → HasPrerequisite → little space 0.16