Context                Previous, Next                Top


25_a_fce_0101_2001_06
This is part of a letter you have received from a penfriend.

%3 r_0025_0002__is is r_0025_0001__This This r_0025_0002__is->r_0025_0001__This [arg0] r_0025_0003__part part r_0025_0002__is->r_0025_0003__part [prd] r_0025_0005__a_r_0025_0006__letter a letter r_0025_0003__part->r_0025_0005__a_r_0025_0006__letter of r_0025_0008__have have r_0025_0009__received received r_0025_0008__have->r_0025_0009__received [scope] r_0025_0009__received->r_0025_0005__a_r_0025_0006__letter [arg1] r_0025_0007__you you r_0025_0009__received->r_0025_0007__you [arg0] r_0025_0011__a_r_0025_0012__penfriend a penfriend r_0025_0009__received->r_0025_0011__a_r_0025_0012__penfriend from [nim] 
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, 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_nim32).


%3 r_0025_0008__have_r_0025_0009__received have received r_0025_0011__a_r_0025_0012__penfriend a penfriend r_0025_0008__have_r_0025_0009__received->r_0025_0011__a_r_0025_0012__penfriend from [nim] r_0025_0007__you you r_0025_0008__have_r_0025_0009__received->r_0025_0007__you [arg0] r_0025_0005__a_r_0025_0006__letter a letter r_0025_0008__have_r_0025_0009__received->r_0025_0005__a_r_0025_0006__letter [arg1] r_0025_0003__part part r_0025_0003__part->r_0025_0005__a_r_0025_0006__letter of r_0025_0002__is is r_0025_0002__is->r_0025_0003__part [prd] r_0025_0001__This This r_0025_0002__is->r_0025_0001__This [arg0] 
fof(formula,axiom,
    ? [R_0025_0001__THIS,R_0025_0005__A_R_0025_0006__LETTER,R_0025_0003__PART,R_0025_0002__IS,R_0025_0007__YOU,R_0025_0011__A_R_0025_0012__PENFRIEND,R_0025_0008__HAVE_R_0025_0009__RECEIVED] :
      ( r_0025_0001__This(R_0025_0001__THIS)
      & r_0025_0005__a_r_0025_0006__letter(R_0025_0005__A_R_0025_0006__LETTER)
      & 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_0008__have_r_0025_0009__received(R_0025_0008__HAVE_R_0025_0009__RECEIVED)
      & has_r_0025_0010__from_nim32(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_arg1(R_0025_0008__HAVE_R_0025_0009__RECEIVED,R_0025_0005__A_R_0025_0006__LETTER)
      & 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)
      & has_arg0(R_0025_0002__IS,R_0025_0001__THIS) ) ).


n25_a_fce_0101_2001_06 n25_a_fce_0101_2001_06__1_1_1_1 This n25_a_fce_0101_2001_06__1_2_1 is n25_a_fce_0101_2001_06__1_3_1_1 part n25_a_fce_0101_2001_06__1_3_2_1_1 of n25_a_fce_0101_2001_06__1_3_2_2_1_1 a n25_a_fce_0101_2001_06__1_3_2_2_2_1 letter n25_a_fce_0101_2001_06__1_3_2_2_3_1_1_1 you n25_a_fce_0101_2001_06__1_3_2_2_3_2_1 have n25_a_fce_0101_2001_06__1_3_2_2_3_3_1_1 *T* n25_a_fce_0101_2001_06__1_3_2_2_3_3_2_1 received n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_1_1 from n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_1_1 a n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_2_1 penfriend n25_a_fce_0101_2001_06__1_4_1 . n25_a_fce_0101_2001_06__1 IP-MAT n25_a_fce_0101_2001_06__1_1 NP-SBJ n25_a_fce_0101_2001_06__1->n25_a_fce_0101_2001_06__1_1 n25_a_fce_0101_2001_06__1_2 BEP;_Ln_ n25_a_fce_0101_2001_06__1->n25_a_fce_0101_2001_06__1_2 n25_a_fce_0101_2001_06__1_3 NP-PRD n25_a_fce_0101_2001_06__1->n25_a_fce_0101_2001_06__1_3 n25_a_fce_0101_2001_06__1_4 PUNC n25_a_fce_0101_2001_06__1->n25_a_fce_0101_2001_06__1_4 n25_a_fce_0101_2001_06__1_1_1 D;_nphd_ n25_a_fce_0101_2001_06__1_1->n25_a_fce_0101_2001_06__1_1_1 n25_a_fce_0101_2001_06__1_1_1->n25_a_fce_0101_2001_06__1_1_1_1 n25_a_fce_0101_2001_06__1_2->n25_a_fce_0101_2001_06__1_2_1 n25_a_fce_0101_2001_06__1_3_1 N n25_a_fce_0101_2001_06__1_3->n25_a_fce_0101_2001_06__1_3_1 n25_a_fce_0101_2001_06__1_3_2 PP n25_a_fce_0101_2001_06__1_3->n25_a_fce_0101_2001_06__1_3_2 n25_a_fce_0101_2001_06__1_3_1->n25_a_fce_0101_2001_06__1_3_1_1 n25_a_fce_0101_2001_06__1_3_2_1 P-ROLE n25_a_fce_0101_2001_06__1_3_2->n25_a_fce_0101_2001_06__1_3_2_1 n25_a_fce_0101_2001_06__1_3_2_2 NP n25_a_fce_0101_2001_06__1_3_2->n25_a_fce_0101_2001_06__1_3_2_2 n25_a_fce_0101_2001_06__1_3_2_1->n25_a_fce_0101_2001_06__1_3_2_1_1 n25_a_fce_0101_2001_06__1_3_2_2_1 D n25_a_fce_0101_2001_06__1_3_2_2->n25_a_fce_0101_2001_06__1_3_2_2_1 n25_a_fce_0101_2001_06__1_3_2_2_2 N n25_a_fce_0101_2001_06__1_3_2_2->n25_a_fce_0101_2001_06__1_3_2_2_2 n25_a_fce_0101_2001_06__1_3_2_2_3 IP-REL n25_a_fce_0101_2001_06__1_3_2_2->n25_a_fce_0101_2001_06__1_3_2_2_3 n25_a_fce_0101_2001_06__1_3_2_2_1->n25_a_fce_0101_2001_06__1_3_2_2_1_1 n25_a_fce_0101_2001_06__1_3_2_2_2->n25_a_fce_0101_2001_06__1_3_2_2_2_1 n25_a_fce_0101_2001_06__1_3_2_2_3_1 NP-SBJ n25_a_fce_0101_2001_06__1_3_2_2_3->n25_a_fce_0101_2001_06__1_3_2_2_3_1 n25_a_fce_0101_2001_06__1_3_2_2_3_2 HVP;_cat_Ve_ n25_a_fce_0101_2001_06__1_3_2_2_3->n25_a_fce_0101_2001_06__1_3_2_2_3_2 n25_a_fce_0101_2001_06__1_3_2_2_3_3 IP-PPL-CAT n25_a_fce_0101_2001_06__1_3_2_2_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3 n25_a_fce_0101_2001_06__1_3_2_2_3_1_1 PRO n25_a_fce_0101_2001_06__1_3_2_2_3_1->n25_a_fce_0101_2001_06__1_3_2_2_3_1_1 n25_a_fce_0101_2001_06__1_3_2_2_3_1_1->n25_a_fce_0101_2001_06__1_3_2_2_3_1_1_1 n25_a_fce_0101_2001_06__1_3_2_2_3_2->n25_a_fce_0101_2001_06__1_3_2_2_3_2_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_1 NP-OB1 n25_a_fce_0101_2001_06__1_3_2_2_3_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_2 VVN;_Tn.pr_ n25_a_fce_0101_2001_06__1_3_2_2_3_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3_2 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3 PP-NIM n25_a_fce_0101_2001_06__1_3_2_2_3_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3 n25_a_fce_0101_2001_06__1_3_2_2_3_3_1->n25_a_fce_0101_2001_06__1_3_2_2_3_3_1_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_2->n25_a_fce_0101_2001_06__1_3_2_2_3_3_2_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_1 P-ROLE n25_a_fce_0101_2001_06__1_3_2_2_3_3_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2 NP n25_a_fce_0101_2001_06__1_3_2_2_3_3_3->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_1->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_1_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_1 D n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_2 N n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_2 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_1->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_1_1 n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_2->n25_a_fce_0101_2001_06__1_3_2_2_3_3_3_2_2_1 n25_a_fce_0101_2001_06__1_4->n25_a_fce_0101_2001_06__1_4_1 
( (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))