Assertion list for term "work with push button".

Results from Ascent++: 1
turnstile CapableOfwork with push button 0.30