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_0008__corner corner r_0041_0003__him him r_0041_0008__corner->r_0041_0003__him [gen] r_0041_0005__to_r_0041_0006__box to box r_0041_0005__to_r_0041_0006__box->r_0041_0008__corner [arg1] x_000_41_a_joyce_1914_9 __ r_0041_0005__to_r_0041_0006__box->x_000_41_a_joyce_1914_9 [arg0] r_0041_0004__learn learn r_0041_0004__learn->r_0041_0005__to_r_0041_0006__box [arg1] r_0041_0004__learn->x_000_41_a_joyce_1914_9 [arg0] r_0041_0002__Let Let r_0041_0002__Let->r_0041_0003__him [arg1] 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] 
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__1_1_1 <ldquo> n41_a_joyce_1914__1_2_1 Let n41_a_joyce_1914__1_3_1_1 him n41_a_joyce_1914__1_4_1_1 learn n41_a_joyce_1914__1_4_2_1_1 to n41_a_joyce_1914__1_4_2_2_1 box n41_a_joyce_1914__1_4_2_3_1_1_1 his n41_a_joyce_1914__1_4_2_3_2_1 corner n41_a_joyce_1914__1_5_1 . n41_a_joyce_1914__1 IP-IMP n41_a_joyce_1914__1_1 PULQ n41_a_joyce_1914__1->n41_a_joyce_1914__1_1 n41_a_joyce_1914__1_2 VB;_Cn.i_ n41_a_joyce_1914__1->n41_a_joyce_1914__1_2 n41_a_joyce_1914__1_3 NP-OB1 n41_a_joyce_1914__1->n41_a_joyce_1914__1_3 n41_a_joyce_1914__1_4 IP-INF-PRD n41_a_joyce_1914__1->n41_a_joyce_1914__1_4 n41_a_joyce_1914__1_5 PUNC n41_a_joyce_1914__1->n41_a_joyce_1914__1_5 n41_a_joyce_1914__1_1->n41_a_joyce_1914__1_1_1 n41_a_joyce_1914__1_2->n41_a_joyce_1914__1_2_1 n41_a_joyce_1914__1_3_1 PRO n41_a_joyce_1914__1_3->n41_a_joyce_1914__1_3_1 n41_a_joyce_1914__1_3_1->n41_a_joyce_1914__1_3_1_1 n41_a_joyce_1914__1_4_1 VB;_Tt_ n41_a_joyce_1914__1_4->n41_a_joyce_1914__1_4_1 n41_a_joyce_1914__1_4_2 IP-INF-OB1 n41_a_joyce_1914__1_4->n41_a_joyce_1914__1_4_2 n41_a_joyce_1914__1_4_1->n41_a_joyce_1914__1_4_1_1 n41_a_joyce_1914__1_4_2_1 TO n41_a_joyce_1914__1_4_2->n41_a_joyce_1914__1_4_2_1 n41_a_joyce_1914__1_4_2_2 VB;_Tn_ n41_a_joyce_1914__1_4_2->n41_a_joyce_1914__1_4_2_2 n41_a_joyce_1914__1_4_2_3 NP-OB1 n41_a_joyce_1914__1_4_2->n41_a_joyce_1914__1_4_2_3 n41_a_joyce_1914__1_4_2_1->n41_a_joyce_1914__1_4_2_1_1 n41_a_joyce_1914__1_4_2_2->n41_a_joyce_1914__1_4_2_2_1 n41_a_joyce_1914__1_4_2_3_1 NP-GEN n41_a_joyce_1914__1_4_2_3->n41_a_joyce_1914__1_4_2_3_1 n41_a_joyce_1914__1_4_2_3_2 N n41_a_joyce_1914__1_4_2_3->n41_a_joyce_1914__1_4_2_3_2 n41_a_joyce_1914__1_4_2_3_1_1 PRO;_genm_ n41_a_joyce_1914__1_4_2_3_1->n41_a_joyce_1914__1_4_2_3_1_1 n41_a_joyce_1914__1_4_2_3_1_1->n41_a_joyce_1914__1_4_2_3_1_1_1 n41_a_joyce_1914__1_4_2_3_2->n41_a_joyce_1914__1_4_2_3_2_1 n41_a_joyce_1914__1_5->n41_a_joyce_1914__1_5_1 
( (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))