AG ((main_control.up_floor_buttons<*1*>=ON) -> AF ( e1.location<1>=0 * e1.location<0>=1 * e1.door=OPEN * e1.direction=UP + e2.location<1>=0 * e2.location<0>=1 * e2.door=OPEN * e2.direction=UP ));