25_a_fce_0101_2001_06
This is part of a letter you have received from a penfriend.
( (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-SBJ (PRO you;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NP-OB1 *T*)
(VVN;_Tn.pr_ received;{receive})
(PP-NIM (P-ROLE from;{from})
(NP (D a;{a})
(N penfriend;{penfriend}))))))))
(PUNC .))
(ID 25_a_fce_0101_2001_06))
arc(r_0025_0002__is,r_0025_0001__This,arg0).
arc(r_0025_0002__is,r_0025_0003__part,prd).
arc(r_0025_0003__part,r_0025_0005__a_r_0025_0006__letter,r_0025_0004__of).
arc(r_0025_0008__have,r_0025_0009__received,scope).
arc(r_0025_0009__received,r_0025_0005__a_r_0025_0006__letter,inv_arg1).
arc(r_0025_0009__received,r_0025_0007__you,arg0).
arc(r_0025_0009__received,r_0025_0011__a_r_0025_0012__penfriend,r_0025_0010__from__nim).
fof(formula,axiom,
? [R_0025_0001__THIS,R_0025_0007__YOU,R_0025_0011__A_R_0025_0012__PENFRIEND,R_0025_0008__HAVE_R_0025_0009__RECEIVED,R_0025_0005__A_R_0025_0006__LETTER,R_0025_0003__PART,R_0025_0002__IS] :
( r_0025_0001__This(R_0025_0001__THIS)
& r_0025_0007__you(R_0025_0007__YOU)
& r_0025_0011__a_r_0025_0012__penfriend(R_0025_0011__A_R_0025_0012__PENFRIEND)
& r_0025_0002__is(R_0025_0002__IS)
& has_prd(R_0025_0002__IS,R_0025_0003__PART)
& r_0025_0003__part(R_0025_0003__PART)
& has_r_0025_0004__of(R_0025_0003__PART,R_0025_0005__A_R_0025_0006__LETTER)
& r_0025_0005__a_r_0025_0006__letter(R_0025_0005__A_R_0025_0006__LETTER)
& has_inv_arg1(R_0025_0005__A_R_0025_0006__LETTER,R_0025_0008__HAVE_R_0025_0009__RECEIVED)
& r_0025_0008__have_r_0025_0009__received(R_0025_0008__HAVE_R_0025_0009__RECEIVED)
& has_r_0025_0010__from__nim(R_0025_0008__HAVE_R_0025_0009__RECEIVED,R_0025_0011__A_R_0025_0012__PENFRIEND)
& has_arg0(R_0025_0008__HAVE_R_0025_0009__RECEIVED,R_0025_0007__YOU)
& has_arg0(R_0025_0002__IS,R_0025_0001__THIS) ) ).