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

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_0041_5002,arg0).
arc(r_0041_0004__learn,r_0041_0006__box,arg1).
arc(r_0041_0004__learn,z_0041_5005,arg0).
arc(r_0041_0006__box,r_0041_0008__corner,arg1).
arc(r_0041_0006__box,z_0041_5005,arg0).
arc(r_0041_0008__corner,r_0041_0003__him,gen).

fof(formula,axiom,
    ? [R_0041_0003__HIM,R_0041_0008__CORNER,Z_0041_5005,R_0041_0006__BOX,R_0041_0004__LEARN,Z_0041_5002,R_0041_0002__LET] :
      ( r_0041_0003__him(R_0041_0003__HIM)
      & z_0041_5002(Z_0041_5002)
      & z_0041_5005(Z_0041_5005)
      & r_0041_0002__Let(R_0041_0002__LET)
      & has_arg0(R_0041_0002__LET,Z_0041_5002)
      & has_prd(R_0041_0002__LET,R_0041_0004__LEARN)
      & r_0041_0004__learn(R_0041_0004__LEARN)
      & has_arg0(R_0041_0004__LEARN,Z_0041_5005)
      & has_arg1(R_0041_0004__LEARN,R_0041_0006__BOX)
      & r_0041_0006__box(R_0041_0006__BOX)
      & has_arg0(R_0041_0006__BOX,Z_0041_5005)
      & has_arg1(R_0041_0006__BOX,R_0041_0008__CORNER)
      & r_0041_0008__corner(R_0041_0008__CORNER)
      & has_gen(R_0041_0008__CORNER,R_0041_0003__HIM)
      & has_arg1(R_0041_0002__LET,R_0041_0003__HIM) ) ).