4_a_fce_0100_2001_06
Below is part of a letter you have received from Mrs Maria Smith.
( (IP-MAT (ADVP-TPC-CLR (ADV Below;{below}))
(BEP;_Ip_ is;{be})
(NP-SBJ (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;{SMITH} (NPR Mrs;{Mrs})
(NPR Maria;{Maria})
(NPR Smith;{Smith}))))))))
(PUNC .))
(ID 4_a_fce_0100_2001_06))
arc(r_0004_0001__Below_r_0004_0002__is,r_0004_0003__part,arg0).
arc(r_0004_0003__part,r_0004_0005__a_r_0004_0006__letter,r_0004_0004__of).
arc(r_0004_0008__have,r_0004_0009__received,scope).
arc(r_0004_0009__received,r_0004_0005__a_r_0004_0006__letter,inv_arg1).
arc(r_0004_0009__received,r_0004_0007__you,arg0).
arc(r_0004_0009__received,r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith,r_0004_0010__from__nim).
fof(formula,axiom,
? [R_0004_0007__YOU,R_0004_0011__MRS_R_0004_0012__MARIA_R_0004_0013__SMITH,R_0004_0008__HAVE_R_0004_0009__RECEIVED,R_0004_0005__A_R_0004_0006__LETTER,R_0004_0003__PART,R_0004_0001__BELOW_R_0004_0002__IS] :
( r_0004_0007__you(R_0004_0007__YOU)
& r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith(R_0004_0011__MRS_R_0004_0012__MARIA_R_0004_0013__SMITH)
& r_0004_0001__Below_r_0004_0002__is(R_0004_0001__BELOW_R_0004_0002__IS)
& has_arg0(R_0004_0001__BELOW_R_0004_0002__IS,R_0004_0003__PART)
& r_0004_0003__part(R_0004_0003__PART)
& has_r_0004_0004__of(R_0004_0003__PART,R_0004_0005__A_R_0004_0006__LETTER)
& r_0004_0005__a_r_0004_0006__letter(R_0004_0005__A_R_0004_0006__LETTER)
& has_inv_arg1(R_0004_0005__A_R_0004_0006__LETTER,R_0004_0008__HAVE_R_0004_0009__RECEIVED)
& r_0004_0008__have_r_0004_0009__received(R_0004_0008__HAVE_R_0004_0009__RECEIVED)
& has_r_0004_0010__from__nim(R_0004_0008__HAVE_R_0004_0009__RECEIVED,R_0004_0011__MRS_R_0004_0012__MARIA_R_0004_0013__SMITH)
& has_arg0(R_0004_0008__HAVE_R_0004_0009__RECEIVED,R_0004_0007__YOU) ) ).