Assertion list
space elevator (subgroup of elevator ) → ReceivesAction
Results from Ascent++: 1
space elevator → ReceivesAction → built 0.68