Assertion list
ramp (aspect of interchange ) → ReceivesAction
Results from Ascent++: 1
ramp → ReceivesAction → removed 0.25