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_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_r_0025_0009__received have received r_0025_0008__have_r_0025_0009__received->r_0025_0005__a_r_0025_0006__letter [arg1] r_0025_0007__you you r_0025_0008__have_r_0025_0009__received->r_0025_0007__you [arg0] 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] 
fof(formula,axiom,
    ? [R_25_2_IS,R_25_1_THIS,R_25_3_PART,R_25_8_HAVE_RECEIVED,R_25_7_YOU,R_25_5_A_LETTER,R_25_11_A_PENFRIEND] :
      ( this(R_25_1_THIS)
      & you(R_25_7_YOU)
      & a_letter(R_25_5_A_LETTER)
      & a_penfriend(R_25_11_A_PENFRIEND)
      & is(R_25_2_IS,R_25_1_THIS,R_25_3_PART)
      & part(R_25_3_PART)
      & of(R_25_3_PART,R_25_5_A_LETTER)
      & have_received(R_25_8_HAVE_RECEIVED,R_25_7_YOU,R_25_5_A_LETTER)
      & from_nim32(R_25_8_HAVE_RECEIVED,R_25_11_A_PENFRIEND) ) ).


n25_a_fce_0101_2001_06 n25_a_fce_0101_2001_06_4 This n25_a_fce_0101_2001_06_6 is n25_a_fce_0101_2001_06_9 part n25_a_fce_0101_2001_06_12 of n25_a_fce_0101_2001_06_15 a n25_a_fce_0101_2001_06_17 letter n25_a_fce_0101_2001_06_21 you n25_a_fce_0101_2001_06_23 have n25_a_fce_0101_2001_06_26 *T* n25_a_fce_0101_2001_06_28 received n25_a_fce_0101_2001_06_31 from n25_a_fce_0101_2001_06_34 a n25_a_fce_0101_2001_06_36 penfriend n25_a_fce_0101_2001_06_38 . n25_a_fce_0101_2001_06_1 IP-MAT n25_a_fce_0101_2001_06_2 NP-SBJ n25_a_fce_0101_2001_06_1->n25_a_fce_0101_2001_06_2 n25_a_fce_0101_2001_06_5 BEP;_Ln_ n25_a_fce_0101_2001_06_1->n25_a_fce_0101_2001_06_5 n25_a_fce_0101_2001_06_7 NP-PRD n25_a_fce_0101_2001_06_1->n25_a_fce_0101_2001_06_7 n25_a_fce_0101_2001_06_37 PUNC n25_a_fce_0101_2001_06_1->n25_a_fce_0101_2001_06_37 n25_a_fce_0101_2001_06_3 D;_nphd_ n25_a_fce_0101_2001_06_2->n25_a_fce_0101_2001_06_3 n25_a_fce_0101_2001_06_3->n25_a_fce_0101_2001_06_4 n25_a_fce_0101_2001_06_5->n25_a_fce_0101_2001_06_6 n25_a_fce_0101_2001_06_8 N n25_a_fce_0101_2001_06_7->n25_a_fce_0101_2001_06_8 n25_a_fce_0101_2001_06_10 PP n25_a_fce_0101_2001_06_7->n25_a_fce_0101_2001_06_10 n25_a_fce_0101_2001_06_8->n25_a_fce_0101_2001_06_9 n25_a_fce_0101_2001_06_11 P-ROLE n25_a_fce_0101_2001_06_10->n25_a_fce_0101_2001_06_11 n25_a_fce_0101_2001_06_13 NP n25_a_fce_0101_2001_06_10->n25_a_fce_0101_2001_06_13 n25_a_fce_0101_2001_06_11->n25_a_fce_0101_2001_06_12 n25_a_fce_0101_2001_06_14 D n25_a_fce_0101_2001_06_13->n25_a_fce_0101_2001_06_14 n25_a_fce_0101_2001_06_16 N n25_a_fce_0101_2001_06_13->n25_a_fce_0101_2001_06_16 n25_a_fce_0101_2001_06_18 IP-REL n25_a_fce_0101_2001_06_13->n25_a_fce_0101_2001_06_18 n25_a_fce_0101_2001_06_14->n25_a_fce_0101_2001_06_15 n25_a_fce_0101_2001_06_16->n25_a_fce_0101_2001_06_17 n25_a_fce_0101_2001_06_19 NP-SBJ n25_a_fce_0101_2001_06_18->n25_a_fce_0101_2001_06_19 n25_a_fce_0101_2001_06_22 HVP;_cat_Ve_ n25_a_fce_0101_2001_06_18->n25_a_fce_0101_2001_06_22 n25_a_fce_0101_2001_06_24 IP-PPL-CAT n25_a_fce_0101_2001_06_18->n25_a_fce_0101_2001_06_24 n25_a_fce_0101_2001_06_20 PRO n25_a_fce_0101_2001_06_19->n25_a_fce_0101_2001_06_20 n25_a_fce_0101_2001_06_20->n25_a_fce_0101_2001_06_21 n25_a_fce_0101_2001_06_22->n25_a_fce_0101_2001_06_23 n25_a_fce_0101_2001_06_25 NP-OB1 n25_a_fce_0101_2001_06_24->n25_a_fce_0101_2001_06_25 n25_a_fce_0101_2001_06_27 VVN;_Tn.pr_ n25_a_fce_0101_2001_06_24->n25_a_fce_0101_2001_06_27 n25_a_fce_0101_2001_06_29 PP-NIM n25_a_fce_0101_2001_06_24->n25_a_fce_0101_2001_06_29 n25_a_fce_0101_2001_06_25->n25_a_fce_0101_2001_06_26 n25_a_fce_0101_2001_06_27->n25_a_fce_0101_2001_06_28 n25_a_fce_0101_2001_06_30 P-ROLE n25_a_fce_0101_2001_06_29->n25_a_fce_0101_2001_06_30 n25_a_fce_0101_2001_06_32 NP n25_a_fce_0101_2001_06_29->n25_a_fce_0101_2001_06_32 n25_a_fce_0101_2001_06_30->n25_a_fce_0101_2001_06_31 n25_a_fce_0101_2001_06_33 D n25_a_fce_0101_2001_06_32->n25_a_fce_0101_2001_06_33 n25_a_fce_0101_2001_06_35 N n25_a_fce_0101_2001_06_32->n25_a_fce_0101_2001_06_35 n25_a_fce_0101_2001_06_33->n25_a_fce_0101_2001_06_34 n25_a_fce_0101_2001_06_35->n25_a_fce_0101_2001_06_36 n25_a_fce_0101_2001_06_37->n25_a_fce_0101_2001_06_38 
( (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))