Context                Previous, Next                Top


4_a_fce_0100_2001_06
Below is part of a letter you have received from Mrs Maria Smith.

%3 r_0004_0002__is is r_0004_0001__Below Below r_0004_0002__is->r_0004_0001__Below [clr] r_0004_0003__part part r_0004_0002__is->r_0004_0003__part [arg0] r_0004_0005__a_r_0004_0006__letter a letter r_0004_0003__part->r_0004_0005__a_r_0004_0006__letter of r_0004_0008__have have r_0004_0009__received received r_0004_0008__have->r_0004_0009__received [scope] r_0004_0009__received->r_0004_0005__a_r_0004_0006__letter [arg1] r_0004_0007__you you r_0004_0009__received->r_0004_0007__you [arg0] r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith Mrs Maria Smith r_0004_0009__received->r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith from [nim] 
arc(r_0004_0002__is, r_0004_0001__Below, clr2).
arc(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, 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_nim32).


%3 r_0004_0008__have_r_0004_0009__received have received r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith Mrs Maria Smith r_0004_0008__have_r_0004_0009__received->r_0004_0011__Mrs_r_0004_0012__Maria_r_0004_0013__Smith from [nim] r_0004_0007__you you r_0004_0008__have_r_0004_0009__received->r_0004_0007__you [arg0] r_0004_0005__a_r_0004_0006__letter a letter r_0004_0008__have_r_0004_0009__received->r_0004_0005__a_r_0004_0006__letter [arg1] r_0004_0003__part part r_0004_0003__part->r_0004_0005__a_r_0004_0006__letter of r_0004_0002__is is r_0004_0002__is->r_0004_0003__part [arg0] r_0004_0001__Below Below r_0004_0002__is->r_0004_0001__Below [clr] 
fof(formula,axiom,
    ? [R_4_2_IS,R_4_3_PART,R_4_1_BELOW,R_4_8_HAVE_RECEIVED,R_4_7_YOU,R_4_5_A_LETTER,R_4_11_MRS_MARIA_SMITH] :
      ( below(R_4_1_BELOW)
      & you(R_4_7_YOU)
      & a_letter(R_4_5_A_LETTER)
      & mrs_Maria_Smith(R_4_11_MRS_MARIA_SMITH)
      & is(R_4_2_IS,R_4_3_PART)
      & part(R_4_3_PART)
      & of(R_4_3_PART,R_4_5_A_LETTER)
      & clr2(R_4_2_IS,R_4_1_BELOW)
      & have_received(R_4_8_HAVE_RECEIVED,R_4_7_YOU,R_4_5_A_LETTER)
      & from_nim32(R_4_8_HAVE_RECEIVED,R_4_11_MRS_MARIA_SMITH) ) ).


n4_a_fce_0100_2001_06 n4_a_fce_0100_2001_06__1_1_1_1 Below n4_a_fce_0100_2001_06__1_2_1 is n4_a_fce_0100_2001_06__1_3_1_1 part n4_a_fce_0100_2001_06__1_3_2_1_1 of n4_a_fce_0100_2001_06__1_3_2_2_1_1 a n4_a_fce_0100_2001_06__1_3_2_2_2_1 letter n4_a_fce_0100_2001_06__1_3_2_2_3_1_1_1 you n4_a_fce_0100_2001_06__1_3_2_2_3_2_1 have n4_a_fce_0100_2001_06__1_3_2_2_3_3_1_1 *T* n4_a_fce_0100_2001_06__1_3_2_2_3_3_2_1 received n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_1_1 from n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_1_1 Mrs n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_2_1 Maria n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_3_1 Smith n4_a_fce_0100_2001_06__1_4_1 . n4_a_fce_0100_2001_06__1 IP-MAT n4_a_fce_0100_2001_06__1_1 ADVP-TPC-CLR n4_a_fce_0100_2001_06__1->n4_a_fce_0100_2001_06__1_1 n4_a_fce_0100_2001_06__1_2 BEP;_Ip_ n4_a_fce_0100_2001_06__1->n4_a_fce_0100_2001_06__1_2 n4_a_fce_0100_2001_06__1_3 NP-SBJ n4_a_fce_0100_2001_06__1->n4_a_fce_0100_2001_06__1_3 n4_a_fce_0100_2001_06__1_4 PUNC n4_a_fce_0100_2001_06__1->n4_a_fce_0100_2001_06__1_4 n4_a_fce_0100_2001_06__1_1_1 ADV n4_a_fce_0100_2001_06__1_1->n4_a_fce_0100_2001_06__1_1_1 n4_a_fce_0100_2001_06__1_1_1->n4_a_fce_0100_2001_06__1_1_1_1 n4_a_fce_0100_2001_06__1_2->n4_a_fce_0100_2001_06__1_2_1 n4_a_fce_0100_2001_06__1_3_1 N n4_a_fce_0100_2001_06__1_3->n4_a_fce_0100_2001_06__1_3_1 n4_a_fce_0100_2001_06__1_3_2 PP n4_a_fce_0100_2001_06__1_3->n4_a_fce_0100_2001_06__1_3_2 n4_a_fce_0100_2001_06__1_3_1->n4_a_fce_0100_2001_06__1_3_1_1 n4_a_fce_0100_2001_06__1_3_2_1 P-ROLE n4_a_fce_0100_2001_06__1_3_2->n4_a_fce_0100_2001_06__1_3_2_1 n4_a_fce_0100_2001_06__1_3_2_2 NP n4_a_fce_0100_2001_06__1_3_2->n4_a_fce_0100_2001_06__1_3_2_2 n4_a_fce_0100_2001_06__1_3_2_1->n4_a_fce_0100_2001_06__1_3_2_1_1 n4_a_fce_0100_2001_06__1_3_2_2_1 D n4_a_fce_0100_2001_06__1_3_2_2->n4_a_fce_0100_2001_06__1_3_2_2_1 n4_a_fce_0100_2001_06__1_3_2_2_2 N n4_a_fce_0100_2001_06__1_3_2_2->n4_a_fce_0100_2001_06__1_3_2_2_2 n4_a_fce_0100_2001_06__1_3_2_2_3 IP-REL n4_a_fce_0100_2001_06__1_3_2_2->n4_a_fce_0100_2001_06__1_3_2_2_3 n4_a_fce_0100_2001_06__1_3_2_2_1->n4_a_fce_0100_2001_06__1_3_2_2_1_1 n4_a_fce_0100_2001_06__1_3_2_2_2->n4_a_fce_0100_2001_06__1_3_2_2_2_1 n4_a_fce_0100_2001_06__1_3_2_2_3_1 NP-SBJ n4_a_fce_0100_2001_06__1_3_2_2_3->n4_a_fce_0100_2001_06__1_3_2_2_3_1 n4_a_fce_0100_2001_06__1_3_2_2_3_2 HVP;_cat_Ve_ n4_a_fce_0100_2001_06__1_3_2_2_3->n4_a_fce_0100_2001_06__1_3_2_2_3_2 n4_a_fce_0100_2001_06__1_3_2_2_3_3 IP-PPL-CAT n4_a_fce_0100_2001_06__1_3_2_2_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3 n4_a_fce_0100_2001_06__1_3_2_2_3_1_1 PRO n4_a_fce_0100_2001_06__1_3_2_2_3_1->n4_a_fce_0100_2001_06__1_3_2_2_3_1_1 n4_a_fce_0100_2001_06__1_3_2_2_3_1_1->n4_a_fce_0100_2001_06__1_3_2_2_3_1_1_1 n4_a_fce_0100_2001_06__1_3_2_2_3_2->n4_a_fce_0100_2001_06__1_3_2_2_3_2_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_1 NP-OB1 n4_a_fce_0100_2001_06__1_3_2_2_3_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_2 VVN;_Tn.pr_ n4_a_fce_0100_2001_06__1_3_2_2_3_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_2 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3 PP-NIM n4_a_fce_0100_2001_06__1_3_2_2_3_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3 n4_a_fce_0100_2001_06__1_3_2_2_3_3_1->n4_a_fce_0100_2001_06__1_3_2_2_3_3_1_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_2->n4_a_fce_0100_2001_06__1_3_2_2_3_3_2_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_1 P-ROLE n4_a_fce_0100_2001_06__1_3_2_2_3_3_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2 NP n4_a_fce_0100_2001_06__1_3_2_2_3_3_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_1->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_1_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_1 NPR n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_2 NPR n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_2 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_3 NPR n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_3 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_1->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_1_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_2->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_2_1 n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_3->n4_a_fce_0100_2001_06__1_3_2_2_3_3_3_2_3_1 n4_a_fce_0100_2001_06__1_4->n4_a_fce_0100_2001_06__1_4_1 
( (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))