Assertion list for term "used to move red button".

Results from Ascent++: 1
cube ReceivesActionused to move red button 0.25