Assertion list
lift (primary) → UsedFor
Results from Ascent++: 2
lift → UsedFor → evacuation 0.25
lift → UsedFor → good 0.25