Context                Previous, Next                Top


41_a_joyce_1914
“Let him learn to box his corner.

%3 r_0041_0002__Let Let r_0041_0003__him him r_0041_0002__Let->r_0041_0003__him [arg1] r_0041_0004__learn learn r_0041_0002__Let->r_0041_0004__learn [prd] z_000_41_a_joyce_1914_1 r_0041_0002__Let->z_000_41_a_joyce_1914_1 [arg0] r_0041_0005__to_r_0041_0006__box to box r_0041_0004__learn->r_0041_0005__to_r_0041_0006__box [arg1] x_000_41_a_joyce_1914_9 __ r_0041_0004__learn->x_000_41_a_joyce_1914_9 [arg0] r_0041_0005__to_r_0041_0006__box->x_000_41_a_joyce_1914_9 [arg0] r_0041_0008__corner corner r_0041_0005__to_r_0041_0006__box->r_0041_0008__corner [arg1] r_0041_0008__corner->r_0041_0003__him [gen] 
arc(r_0041_0002__Let, r_0041_0003__him, arg1).
arc(r_0041_0002__Let, r_0041_0004__learn, prd).
arc(r_0041_0002__Let, z_000_41_a_joyce_1914_1, arg0).
arc(r_0041_0004__learn, r_0041_0005__to_r_0041_0006__box, arg1).
arc(r_0041_0004__learn, x_000_41_a_joyce_1914_9, arg0).
arc(r_0041_0005__to_r_0041_0006__box, r_0041_0008__corner, arg1).
arc(r_0041_0005__to_r_0041_0006__box, x_000_41_a_joyce_1914_9, arg0).
arc(r_0041_0008__corner, r_0041_0003__him, gen).


%3 r_0041_0002__Let Let r_0041_0003__him him r_0041_0002__Let->r_0041_0003__him [arg1] r_0041_0004__learn learn r_0041_0002__Let->r_0041_0004__learn [prd] z_000_41_a_joyce_1914_1 r_0041_0002__Let->z_000_41_a_joyce_1914_1 [arg0] r_0041_0005__to_r_0041_0006__box to box r_0041_0004__learn->r_0041_0005__to_r_0041_0006__box [arg1] x_000_41_a_joyce_1914_9 __ r_0041_0004__learn->x_000_41_a_joyce_1914_9 [arg0] r_0041_0005__to_r_0041_0006__box->x_000_41_a_joyce_1914_9 [arg0] r_0041_0008__corner corner r_0041_0005__to_r_0041_0006__box->r_0041_0008__corner [arg1] r_0041_0008__corner->r_0041_0003__him [gen] 
fof(formula,axiom,
    ? [R_41_2_LET,Z_41_A_JOYCE_1914_1,R_41_4_LEARN,R_41_5_TO_BOX,X_41_A_JOYCE_1914_9,R_41_8_CORNER,R_41_3_HIM] :
      ( him(R_41_3_HIM)
      & let(R_41_2_LET,Z_41_A_JOYCE_1914_1,R_41_3_HIM,R_41_4_LEARN)
      & learn(R_41_4_LEARN,X_41_A_JOYCE_1914_9,R_41_5_TO_BOX)
      & to_box(R_41_5_TO_BOX,X_41_A_JOYCE_1914_9,R_41_8_CORNER)
      & corner(R_41_8_CORNER)
      & gen(R_41_8_CORNER,R_41_3_HIM) ) ).


n41_a_joyce_1914 n41_a_joyce_1914_3 <ldquo> n41_a_joyce_1914_5 Let n41_a_joyce_1914_8 him n41_a_joyce_1914_11 learn n41_a_joyce_1914_14 to n41_a_joyce_1914_16 box n41_a_joyce_1914_20 his n41_a_joyce_1914_22 corner n41_a_joyce_1914_24 . n41_a_joyce_1914_1 IP-IMP n41_a_joyce_1914_2 PULQ n41_a_joyce_1914_1->n41_a_joyce_1914_2 n41_a_joyce_1914_4 VB;_Cn.i_ n41_a_joyce_1914_1->n41_a_joyce_1914_4 n41_a_joyce_1914_6 NP-OB1 n41_a_joyce_1914_1->n41_a_joyce_1914_6 n41_a_joyce_1914_9 IP-INF-PRD n41_a_joyce_1914_1->n41_a_joyce_1914_9 n41_a_joyce_1914_23 PUNC n41_a_joyce_1914_1->n41_a_joyce_1914_23 n41_a_joyce_1914_2->n41_a_joyce_1914_3 n41_a_joyce_1914_4->n41_a_joyce_1914_5 n41_a_joyce_1914_7 PRO n41_a_joyce_1914_6->n41_a_joyce_1914_7 n41_a_joyce_1914_7->n41_a_joyce_1914_8 n41_a_joyce_1914_10 VB;_Tt_ n41_a_joyce_1914_9->n41_a_joyce_1914_10 n41_a_joyce_1914_12 IP-INF-OB1 n41_a_joyce_1914_9->n41_a_joyce_1914_12 n41_a_joyce_1914_10->n41_a_joyce_1914_11 n41_a_joyce_1914_13 TO n41_a_joyce_1914_12->n41_a_joyce_1914_13 n41_a_joyce_1914_15 VB;_Tn_ n41_a_joyce_1914_12->n41_a_joyce_1914_15 n41_a_joyce_1914_17 NP-OB1 n41_a_joyce_1914_12->n41_a_joyce_1914_17 n41_a_joyce_1914_13->n41_a_joyce_1914_14 n41_a_joyce_1914_15->n41_a_joyce_1914_16 n41_a_joyce_1914_18 NP-GEN n41_a_joyce_1914_17->n41_a_joyce_1914_18 n41_a_joyce_1914_21 N n41_a_joyce_1914_17->n41_a_joyce_1914_21 n41_a_joyce_1914_19 PRO;_genm_ n41_a_joyce_1914_18->n41_a_joyce_1914_19 n41_a_joyce_1914_19->n41_a_joyce_1914_20 n41_a_joyce_1914_21->n41_a_joyce_1914_22 n41_a_joyce_1914_23->n41_a_joyce_1914_24 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{PERSON} (PRO him;{he}))
          (IP-INF-PRD (VB;_Tt_ learn;{learn})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ box;{box})
                                  (NP-OB1 (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                          (N corner;{corner}))))
          (PUNC .))
  (ID 41_a_joyce_1914))