( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (N part;{part})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N letter;{letter})
                          (IP-REL (NP-OB1 (RPRO which;{which}))
                                  (NP-SBJ (PRO you;{you}))
                                  (VBP;_Tn.pr_ receive;{receive})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (D an;{an})
                                              (ADJP (ADJ English;{english}))
                                              (N pen;{pen})
                                              (N friend;{friend})))))))
          (PUNC .))
  (ID 26_a_fce_0102_2000_12))

arc(r_0026_0002__is,r_0026_0001__This,arg0).
arc(r_0026_0002__is,r_0026_0003__part,prd).
arc(r_0026_0003__part,r_0026_0005__a_r_0026_0006__letter,r_0026_0004__of).
arc(r_0026_0009__receive,r_0026_0005__a_r_0026_0006__letter,arg1).
arc(r_0026_0009__receive,r_0026_0008__you,arg0).
arc(r_0026_0009__receive,r_0026_0011__an_r_0026_0013__pen_r_0026_0014__friend,r_0026_0010__from__nim).
arc(r_0026_0011__an_r_0026_0013__pen_r_0026_0014__friend,r_0026_0012__English,attrib).

fof(formula,axiom,
    ? [R_0026_0001__THIS,R_0026_0005__A_R_0026_0006__LETTER,R_0026_0003__PART,R_0026_0002__IS,R_0026_0008__YOU,R_0026_0012__ENGLISH,R_0026_0011__AN_R_0026_0013__PEN_R_0026_0014__FRIEND,R_0026_0009__RECEIVE] :
      ( r_0026_0001__This(R_0026_0001__THIS)
      & r_0026_0005__a_r_0026_0006__letter(R_0026_0005__A_R_0026_0006__LETTER)
      & r_0026_0008__you(R_0026_0008__YOU)
      & r_0026_0012__English(R_0026_0012__ENGLISH)
      & r_0026_0009__receive(R_0026_0009__RECEIVE)
      & has_r_0026_0010__from__nim(R_0026_0009__RECEIVE,R_0026_0011__AN_R_0026_0013__PEN_R_0026_0014__FRIEND)
      & r_0026_0011__an_r_0026_0013__pen_r_0026_0014__friend(R_0026_0011__AN_R_0026_0013__PEN_R_0026_0014__FRIEND)
      & has_attrib(R_0026_0011__AN_R_0026_0013__PEN_R_0026_0014__FRIEND,R_0026_0012__ENGLISH)
      & has_arg0(R_0026_0009__RECEIVE,R_0026_0008__YOU)
      & has_arg1(R_0026_0009__RECEIVE,R_0026_0005__A_R_0026_0006__LETTER)
      & r_0026_0002__is(R_0026_0002__IS)
      & has_prd(R_0026_0002__IS,R_0026_0003__PART)
      & r_0026_0003__part(R_0026_0003__PART)
      & has_r_0026_0004__of(R_0026_0003__PART,R_0026_0005__A_R_0026_0006__LETTER)
      & has_arg0(R_0026_0002__IS,R_0026_0001__THIS) ) ).