Assertion list
space elevator (subgroup of elevator ) → HasProperty
Results from Ascent++: 1
space elevator → HasProperty → feasible 0.16