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 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 [conj2] 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_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] 
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_6 This n32_a_duplex_8 floored n32_a_duplex_11 Duplex n32_a_duplex_13 , n32_a_duplex_16 and n32_a_duplex_20 the n32_a_duplex_23 human n32_a_duplex_25 operator n32_a_duplex_27 picked n32_a_duplex_29 up n32_a_duplex_33 to n32_a_duplex_35 finish n32_a_duplex_38 the n32_a_duplex_40 job n32_a_duplex_42 . n32_a_duplex_1 IP-MAT n32_a_duplex_2 ILYR n32_a_duplex_1->n32_a_duplex_2 n32_a_duplex_41 PUNC n32_a_duplex_1->n32_a_duplex_41 n32_a_duplex_3 ILYR n32_a_duplex_2->n32_a_duplex_3 n32_a_duplex_12 PUNC n32_a_duplex_2->n32_a_duplex_12 n32_a_duplex_14 CONJP n32_a_duplex_2->n32_a_duplex_14 n32_a_duplex_4 NP-SBJ n32_a_duplex_3->n32_a_duplex_4 n32_a_duplex_7 VBD;_Tn_ n32_a_duplex_3->n32_a_duplex_7 n32_a_duplex_9 NP-OB1 n32_a_duplex_3->n32_a_duplex_9 n32_a_duplex_5 D;_nphd_ n32_a_duplex_4->n32_a_duplex_5 n32_a_duplex_5->n32_a_duplex_6 n32_a_duplex_7->n32_a_duplex_8 n32_a_duplex_10 NPR n32_a_duplex_9->n32_a_duplex_10 n32_a_duplex_10->n32_a_duplex_11 n32_a_duplex_12->n32_a_duplex_13 n32_a_duplex_15 CONJ n32_a_duplex_14->n32_a_duplex_15 n32_a_duplex_17 ILYR n32_a_duplex_14->n32_a_duplex_17 n32_a_duplex_15->n32_a_duplex_16 n32_a_duplex_18 NP-SBJ n32_a_duplex_17->n32_a_duplex_18 n32_a_duplex_26 VBD;_phr_Vp_ n32_a_duplex_17->n32_a_duplex_26 n32_a_duplex_28 RP n32_a_duplex_17->n32_a_duplex_28 n32_a_duplex_30 PP-SCON n32_a_duplex_17->n32_a_duplex_30 n32_a_duplex_19 D n32_a_duplex_18->n32_a_duplex_19 n32_a_duplex_21 ADJP n32_a_duplex_18->n32_a_duplex_21 n32_a_duplex_24 N n32_a_duplex_18->n32_a_duplex_24 n32_a_duplex_19->n32_a_duplex_20 n32_a_duplex_22 ADJ n32_a_duplex_21->n32_a_duplex_22 n32_a_duplex_22->n32_a_duplex_23 n32_a_duplex_24->n32_a_duplex_25 n32_a_duplex_26->n32_a_duplex_27 n32_a_duplex_28->n32_a_duplex_29 n32_a_duplex_31 IP-INF n32_a_duplex_30->n32_a_duplex_31 n32_a_duplex_32 TO n32_a_duplex_31->n32_a_duplex_32 n32_a_duplex_34 VB;_Tn_ n32_a_duplex_31->n32_a_duplex_34 n32_a_duplex_36 NP-OB1 n32_a_duplex_31->n32_a_duplex_36 n32_a_duplex_32->n32_a_duplex_33 n32_a_duplex_34->n32_a_duplex_35 n32_a_duplex_37 D n32_a_duplex_36->n32_a_duplex_37 n32_a_duplex_39 N n32_a_duplex_36->n32_a_duplex_39 n32_a_duplex_37->n32_a_duplex_38 n32_a_duplex_39->n32_a_duplex_40 n32_a_duplex_41->n32_a_duplex_42 
( (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))