Doug Ducey announced Sunday that he, along with the U.S. "This is currently ADCRR's top priority, and all available resources are being employed to the search effort," the department said. The two men were not accounted for during an 8:30 p.m. check on Saturday, the statement said. Doug Ducey tweeted that he and the U.S. They were last counted at 4 p.m. earlier that day.
The two men are not supposed to be available.
( z0 suppose :ARG1 ( z1 man :quant 2 ) :ARG2 ( z2 available :ARG2 z1 ) :polarity - )
(z0 / suppose-02
    :ARG1 (z1 / man
              :quant 2)
    :ARG2 (z2 / available-02
              :ARG2 z1)
    :polarity -)
The two men are not supposed to be available .
z1 :quant 1
z0 :polarity 0
z0 :ARG1 z1
z0 :ARG2 z2
z2 :ARG2 z1