ET, though the far-western portion of the state, including El Paso, is in the Mountain time zone and will start an hour later. ET, but because its Panhandle region is in the Central time zone, some counties will remain open an hour later. ET and is expected to stay for about an hour, according to the official White House schedule. "My guess is within a couple hours," he said. ET.
The far retired part of the state include El Paso.
( z0 include :ARG1 ( z1 city :name ( z2 name :op "El" :op "Paso" ) ) :ARG2 ( z3 part :ARG0-of ( z4 retire :time ( z5 far ) ) :part-of ( z6 state ) ) )
(z0 / include-01
    :ARG1 (z1 / city
              :name (z2 / name
                        :op1 "El"
                        :op2 "Paso"))
    :ARG2 (z3 / part
              :ARG0-of (z4 / retire-01
                           :time (z5 / far))
              :part-of (z6 / state)))
The far retired part of the state include El Paso .
z4 :time z5
z3 :ARG0-of z4
z3 :part-of z6
z0 :ARG2 z3
z2 :op1 0
z1 :name z2
z0 :ARG1 z1
z2 :op2 1