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_000_32_a_duplex_30, conj2).
arc(r_0032_0006__the_r_0032_0008__operator, r_0032_0007__human, attrib21).
arc(r_0032_0009__picked_r_0032_0010__up, r_0032_0006__the_r_0032_0008__operator, arg0).
arc(r_0032_0011__to_r_0032_0012__finish, r_0032_0006__the_r_0032_0008__operator, arg0).
arc(r_0032_0011__to_r_0032_0012__finish, r_0032_0013__the_r_0032_0014__job, arg1).
arc(z_000_32_a_duplex_30, r_0032_0009__picked_r_0032_0010__up, scope).
arc(z_000_32_a_duplex_30, r_0032_0011__to_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_0011__TO_R_0032_0012__FINISH,Z_000_32_A_DUPLEX_30,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_000_32_A_DUPLEX_30)
      & z_000_32_a_duplex_30(Z_000_32_A_DUPLEX_30)
      & has_conj1(Z_000_32_A_DUPLEX_30,R_0032_0011__TO_R_0032_0012__FINISH)
      & r_0032_0011__to_r_0032_0012__finish(R_0032_0011__TO_R_0032_0012__FINISH)
      & has_arg1(R_0032_0011__TO_R_0032_0012__FINISH,R_0032_0013__THE_R_0032_0014__JOB)
      & has_arg0(R_0032_0011__TO_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_attrib21(R_0032_0006__THE_R_0032_0008__OPERATOR,R_0032_0007__HUMAN)
      & has_conj2(Z_000_32_A_DUPLEX_30,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) ) ).

( (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))