( (IP-MAT (ILYR (ILYR (NP-SBJ;{MISTAKE} (D;_nphd_ This;{this}))
                      (VBD;_Tn_ floored;{floor})
                      (NP-OB1;{ROBOT_CALLER} (NPR Duplex;{Duplex})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{HUMAN} (D the;{the})
                                             (ADJP (ADJ human;{human}))
                                             (N operator;{operator}))
                             (VBD;_phr_Vp_ picked;{pick[up]})
                             (RP up;{up})
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Tn_ finish;{finish})
                                              (NP-OB1 (D the;{the})
                                                      (N job;{job})))))))
          (PUNC .))
  (ID 32_a_duplex))

arc(r_0032_0002__floored,r_0032_0001__This,arg0).
arc(r_0032_0002__floored,r_0032_0003__Duplex,arg1).
arc(r_0032_0005__and,r_0032_0002__floored,conj1).
arc(r_0032_0005__and,z_0032_5004,conj2).
arc(r_0032_0006__the_r_0032_0008__operator,r_0032_0007__human,attrib).
arc(r_0032_0009__picked_r_0032_0010__up,r_0032_0006__the_r_0032_0008__operator,arg0).
arc(r_0032_0012__finish,r_0032_0006__the_r_0032_0008__operator,arg0).
arc(r_0032_0012__finish,r_0032_0013__the_r_0032_0014__job,arg1).
arc(z_0032_5004,r_0032_0009__picked_r_0032_0010__up,scope).
arc(z_0032_5004,r_0032_0012__finish,restriction).

fof(formula,axiom,
    ? [R_0032_0001__THIS,R_0032_0003__DUPLEX,R_0032_0002__FLOORED,R_0032_0007__HUMAN,R_0032_0006__THE_R_0032_0008__OPERATOR,R_0032_0009__PICKED_R_0032_0010__UP,R_0032_0013__THE_R_0032_0014__JOB,R_0032_0012__FINISH,Z_0032_5004,R_0032_0005__AND] :
      ( r_0032_0001__This(R_0032_0001__THIS)
      & r_0032_0003__Duplex(R_0032_0003__DUPLEX)
      & r_0032_0007__human(R_0032_0007__HUMAN)
      & r_0032_0013__the_r_0032_0014__job(R_0032_0013__THE_R_0032_0014__JOB)
      & r_0032_0005__and(R_0032_0005__AND)
      & has_conj2(R_0032_0005__AND,Z_0032_5004)
      & z_0032_5004(Z_0032_5004)
      & has_conj1(Z_0032_5004,R_0032_0012__FINISH)
      & r_0032_0012__finish(R_0032_0012__FINISH)
      & has_arg1(R_0032_0012__FINISH,R_0032_0013__THE_R_0032_0014__JOB)
      & has_arg0(R_0032_0012__FINISH,R_0032_0006__THE_R_0032_0008__OPERATOR)
      & r_0032_0006__the_r_0032_0008__operator(R_0032_0006__THE_R_0032_0008__OPERATOR)
      & has_attrib(R_0032_0006__THE_R_0032_0008__OPERATOR,R_0032_0007__HUMAN)
      & has_conj2(Z_0032_5004,R_0032_0009__PICKED_R_0032_0010__UP)
      & r_0032_0009__picked_r_0032_0010__up(R_0032_0009__PICKED_R_0032_0010__UP)
      & has_arg0(R_0032_0009__PICKED_R_0032_0010__UP,R_0032_0006__THE_R_0032_0008__OPERATOR)
      & has_conj1(R_0032_0005__AND,R_0032_0002__FLOORED)
      & r_0032_0002__floored(R_0032_0002__FLOORED)
      & has_arg1(R_0032_0002__FLOORED,R_0032_0003__DUPLEX)
      & has_arg0(R_0032_0002__FLOORED,R_0032_0001__THIS) ) ).