Context                Previous, Next                Top


32_a_duplex
This floored Duplex, and the human operator picked up to finish the job.

%3 r_0032_0002__floored floored r_0032_0001__This This r_0032_0002__floored->r_0032_0001__This [arg0] r_0032_0003__Duplex Duplex r_0032_0002__floored->r_0032_0003__Duplex [arg1] r_0032_0005__and and r_0032_0005__and->r_0032_0002__floored [conj1] z_000_32_a_duplex_30 r_0032_0005__and->z_000_32_a_duplex_30 [conj2] r_0032_0009__picked_r_0032_0010__up picked up z_000_32_a_duplex_30->r_0032_0009__picked_r_0032_0010__up [scope] r_0032_0011__to_r_0032_0012__finish to finish z_000_32_a_duplex_30->r_0032_0011__to_r_0032_0012__finish [restriction] r_0032_0006__the_r_0032_0008__operator the operator r_0032_0007__human human r_0032_0006__the_r_0032_0008__operator->r_0032_0007__human [attrib] r_0032_0009__picked_r_0032_0010__up->r_0032_0006__the_r_0032_0008__operator [arg0] r_0032_0011__to_r_0032_0012__finish->r_0032_0006__the_r_0032_0008__operator [arg0] r_0032_0013__the_r_0032_0014__job the job r_0032_0011__to_r_0032_0012__finish->r_0032_0013__the_r_0032_0014__job [arg1] 
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).


%3 z_000_32_a_duplex_30 r_0032_0011__to_r_0032_0012__finish to finish z_000_32_a_duplex_30->r_0032_0011__to_r_0032_0012__finish [conj1] r_0032_0009__picked_r_0032_0010__up picked up z_000_32_a_duplex_30->r_0032_0009__picked_r_0032_0010__up [conj2] r_0032_0013__the_r_0032_0014__job the job r_0032_0011__to_r_0032_0012__finish->r_0032_0013__the_r_0032_0014__job [arg1] r_0032_0006__the_r_0032_0008__operator the operator r_0032_0011__to_r_0032_0012__finish->r_0032_0006__the_r_0032_0008__operator [arg0] r_0032_0009__picked_r_0032_0010__up->r_0032_0006__the_r_0032_0008__operator [arg0] r_0032_0007__human human r_0032_0006__the_r_0032_0008__operator->r_0032_0007__human [attrib] r_0032_0005__and and r_0032_0005__and->z_000_32_a_duplex_30 [conj2] r_0032_0002__floored floored r_0032_0005__and->r_0032_0002__floored [conj1] r_0032_0003__Duplex Duplex r_0032_0002__floored->r_0032_0003__Duplex [arg1] r_0032_0001__This This r_0032_0002__floored->r_0032_0001__This [arg0] 
fof(formula,axiom,
    ? [R_32_5_AND,R_32_2_FLOORED,R_32_1_THIS,R_32_3_DUPLEX,Z_32_A_DUPLEX_30,R_32_11_TO_FINISH,R_32_13_THE_JOB,R_32_9_PICKED_UP,R_32_6_THE_OPERATOR,R_32_7_HUMAN] :
      ( this(R_32_1_THIS)
      & duplex(R_32_3_DUPLEX)
      & the_job(R_32_13_THE_JOB)
      & human(R_32_7_HUMAN)
      & and(R_32_5_AND)
      & conj1(R_32_5_AND,R_32_2_FLOORED)
      & floored(R_32_2_FLOORED,R_32_1_THIS,R_32_3_DUPLEX)
      & conj2(R_32_5_AND,Z_32_A_DUPLEX_30)
      & z_32_a_duplex_30(Z_32_A_DUPLEX_30)
      & conj1(Z_32_A_DUPLEX_30,R_32_11_TO_FINISH)
      & to_finish(R_32_11_TO_FINISH,R_32_6_THE_OPERATOR,R_32_13_THE_JOB)
      & the_operator(R_32_6_THE_OPERATOR)
      & attrib21(R_32_6_THE_OPERATOR,R_32_7_HUMAN)
      & conj2(Z_32_A_DUPLEX_30,R_32_9_PICKED_UP)
      & picked_up(R_32_9_PICKED_UP,R_32_6_THE_OPERATOR) ) ).


n32_a_duplex n32_a_duplex__1_1_1_1_1_1 This n32_a_duplex__1_1_1_2_1 floored n32_a_duplex__1_1_1_3_1_1 Duplex n32_a_duplex__1_1_2_1 , n32_a_duplex__1_1_3_1_1 and n32_a_duplex__1_1_3_2_1_1_1 the n32_a_duplex__1_1_3_2_1_2_1_1 human n32_a_duplex__1_1_3_2_1_3_1 operator n32_a_duplex__1_1_3_2_2_1 picked n32_a_duplex__1_1_3_2_3_1 up n32_a_duplex__1_1_3_2_4_1_1_1 to n32_a_duplex__1_1_3_2_4_1_2_1 finish n32_a_duplex__1_1_3_2_4_1_3_1_1 the n32_a_duplex__1_1_3_2_4_1_3_2_1 job n32_a_duplex__1_2_1 . n32_a_duplex__1 IP-MAT n32_a_duplex__1_1 ILYR n32_a_duplex__1->n32_a_duplex__1_1 n32_a_duplex__1_2 PUNC n32_a_duplex__1->n32_a_duplex__1_2 n32_a_duplex__1_1_1 ILYR n32_a_duplex__1_1->n32_a_duplex__1_1_1 n32_a_duplex__1_1_2 PUNC n32_a_duplex__1_1->n32_a_duplex__1_1_2 n32_a_duplex__1_1_3 CONJP n32_a_duplex__1_1->n32_a_duplex__1_1_3 n32_a_duplex__1_1_1_1 NP-SBJ n32_a_duplex__1_1_1->n32_a_duplex__1_1_1_1 n32_a_duplex__1_1_1_2 VBD;_Tn_ n32_a_duplex__1_1_1->n32_a_duplex__1_1_1_2 n32_a_duplex__1_1_1_3 NP-OB1 n32_a_duplex__1_1_1->n32_a_duplex__1_1_1_3 n32_a_duplex__1_1_1_1_1 D;_nphd_ n32_a_duplex__1_1_1_1->n32_a_duplex__1_1_1_1_1 n32_a_duplex__1_1_1_1_1->n32_a_duplex__1_1_1_1_1_1 n32_a_duplex__1_1_1_2->n32_a_duplex__1_1_1_2_1 n32_a_duplex__1_1_1_3_1 NPR n32_a_duplex__1_1_1_3->n32_a_duplex__1_1_1_3_1 n32_a_duplex__1_1_1_3_1->n32_a_duplex__1_1_1_3_1_1 n32_a_duplex__1_1_2->n32_a_duplex__1_1_2_1 n32_a_duplex__1_1_3_1 CONJ n32_a_duplex__1_1_3->n32_a_duplex__1_1_3_1 n32_a_duplex__1_1_3_2 ILYR n32_a_duplex__1_1_3->n32_a_duplex__1_1_3_2 n32_a_duplex__1_1_3_1->n32_a_duplex__1_1_3_1_1 n32_a_duplex__1_1_3_2_1 NP-SBJ n32_a_duplex__1_1_3_2->n32_a_duplex__1_1_3_2_1 n32_a_duplex__1_1_3_2_2 VBD;_phr_Vp_ n32_a_duplex__1_1_3_2->n32_a_duplex__1_1_3_2_2 n32_a_duplex__1_1_3_2_3 RP n32_a_duplex__1_1_3_2->n32_a_duplex__1_1_3_2_3 n32_a_duplex__1_1_3_2_4 PP-SCON n32_a_duplex__1_1_3_2->n32_a_duplex__1_1_3_2_4 n32_a_duplex__1_1_3_2_1_1 D n32_a_duplex__1_1_3_2_1->n32_a_duplex__1_1_3_2_1_1 n32_a_duplex__1_1_3_2_1_2 ADJP n32_a_duplex__1_1_3_2_1->n32_a_duplex__1_1_3_2_1_2 n32_a_duplex__1_1_3_2_1_3 N n32_a_duplex__1_1_3_2_1->n32_a_duplex__1_1_3_2_1_3 n32_a_duplex__1_1_3_2_1_1->n32_a_duplex__1_1_3_2_1_1_1 n32_a_duplex__1_1_3_2_1_2_1 ADJ n32_a_duplex__1_1_3_2_1_2->n32_a_duplex__1_1_3_2_1_2_1 n32_a_duplex__1_1_3_2_1_2_1->n32_a_duplex__1_1_3_2_1_2_1_1 n32_a_duplex__1_1_3_2_1_3->n32_a_duplex__1_1_3_2_1_3_1 n32_a_duplex__1_1_3_2_2->n32_a_duplex__1_1_3_2_2_1 n32_a_duplex__1_1_3_2_3->n32_a_duplex__1_1_3_2_3_1 n32_a_duplex__1_1_3_2_4_1 IP-INF n32_a_duplex__1_1_3_2_4->n32_a_duplex__1_1_3_2_4_1 n32_a_duplex__1_1_3_2_4_1_1 TO n32_a_duplex__1_1_3_2_4_1->n32_a_duplex__1_1_3_2_4_1_1 n32_a_duplex__1_1_3_2_4_1_2 VB;_Tn_ n32_a_duplex__1_1_3_2_4_1->n32_a_duplex__1_1_3_2_4_1_2 n32_a_duplex__1_1_3_2_4_1_3 NP-OB1 n32_a_duplex__1_1_3_2_4_1->n32_a_duplex__1_1_3_2_4_1_3 n32_a_duplex__1_1_3_2_4_1_1->n32_a_duplex__1_1_3_2_4_1_1_1 n32_a_duplex__1_1_3_2_4_1_2->n32_a_duplex__1_1_3_2_4_1_2_1 n32_a_duplex__1_1_3_2_4_1_3_1 D n32_a_duplex__1_1_3_2_4_1_3->n32_a_duplex__1_1_3_2_4_1_3_1 n32_a_duplex__1_1_3_2_4_1_3_2 N n32_a_duplex__1_1_3_2_4_1_3->n32_a_duplex__1_1_3_2_4_1_3_2 n32_a_duplex__1_1_3_2_4_1_3_1->n32_a_duplex__1_1_3_2_4_1_3_1_1 n32_a_duplex__1_1_3_2_4_1_3_2->n32_a_duplex__1_1_3_2_4_1_3_2_1 n32_a_duplex__1_2->n32_a_duplex__1_2_1 
( (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))