Context                Previous, Next                Top


3_a_fce_0100_2000_06
You recently entered a competition and have just received this letter from the organiser.

%3 r_0003_0003__entered entered r_0003_0001__You You r_0003_0003__entered->r_0003_0001__You [arg0] r_0003_0002__recently recently r_0003_0003__entered->r_0003_0002__recently [nim] r_0003_0004__a_r_0003_0005__competition a competition r_0003_0003__entered->r_0003_0004__a_r_0003_0005__competition [arg1] r_0003_0006__and and r_0003_0006__and->r_0003_0003__entered [conj1] r_0003_0007__have have r_0003_0006__and->r_0003_0007__have [conj2] r_0003_0009__received received r_0003_0007__have->r_0003_0009__received [scope] r_0003_0009__received->r_0003_0001__You [arg0] r_0003_0008__just just r_0003_0009__received->r_0003_0008__just [nim] r_0003_0010__this_r_0003_0011__letter this letter r_0003_0009__received->r_0003_0010__this_r_0003_0011__letter [arg1] r_0003_0013__the_r_0003_0014__organiser the organiser r_0003_0009__received->r_0003_0013__the_r_0003_0014__organiser from [clr] 
arc(r_0003_0003__entered, r_0003_0001__You, arg0).
arc(r_0003_0003__entered, r_0003_0002__recently, nim7).
arc(r_0003_0003__entered, r_0003_0004__a_r_0003_0005__competition, arg1).
arc(r_0003_0006__and, r_0003_0003__entered, conj1).
arc(r_0003_0006__and, r_0003_0007__have, conj2).
arc(r_0003_0007__have, r_0003_0009__received, scope).
arc(r_0003_0009__received, r_0003_0001__You, arg0).
arc(r_0003_0009__received, r_0003_0008__just, nim24).
arc(r_0003_0009__received, r_0003_0010__this_r_0003_0011__letter, arg1).
arc(r_0003_0009__received, r_0003_0013__the_r_0003_0014__organiser, r_0003_0012__from_clr37).


%3 r_0003_0003__entered entered r_0003_0001__You You r_0003_0003__entered->r_0003_0001__You [arg0] r_0003_0002__recently recently r_0003_0003__entered->r_0003_0002__recently [nim] r_0003_0004__a_r_0003_0005__competition a competition r_0003_0003__entered->r_0003_0004__a_r_0003_0005__competition [arg1] r_0003_0006__and and r_0003_0006__and->r_0003_0003__entered [conj1] r_0003_0007__have_r_0003_0009__received have received r_0003_0006__and->r_0003_0007__have_r_0003_0009__received [conj2] r_0003_0007__have_r_0003_0009__received->r_0003_0001__You [arg0] r_0003_0008__just just r_0003_0007__have_r_0003_0009__received->r_0003_0008__just [nim] r_0003_0010__this_r_0003_0011__letter this letter r_0003_0007__have_r_0003_0009__received->r_0003_0010__this_r_0003_0011__letter [arg1] r_0003_0013__the_r_0003_0014__organiser the organiser r_0003_0007__have_r_0003_0009__received->r_0003_0013__the_r_0003_0014__organiser from [clr] 
fof(formula,axiom,
    ? [R_3_6_AND,R_3_3_ENTERED,R_3_4_A_COMPETITION,R_3_2_RECENTLY,R_3_7_HAVE_RECEIVED,R_3_1_YOU,R_3_10_THIS_LETTER,R_3_8_JUST,R_3_13_THE_ORGANISER] :
      ( a_competition(R_3_4_A_COMPETITION)
      & recently(R_3_2_RECENTLY)
      & you(R_3_1_YOU)
      & this_letter(R_3_10_THIS_LETTER)
      & just(R_3_8_JUST)
      & the_organiser(R_3_13_THE_ORGANISER)
      & and(R_3_6_AND)
      & conj1(R_3_6_AND,R_3_3_ENTERED)
      & entered(R_3_3_ENTERED,R_3_1_YOU,R_3_4_A_COMPETITION)
      & nim7(R_3_3_ENTERED,R_3_2_RECENTLY)
      & conj2(R_3_6_AND,R_3_7_HAVE_RECEIVED)
      & have_received(R_3_7_HAVE_RECEIVED,R_3_1_YOU,R_3_10_THIS_LETTER)
      & nim24(R_3_7_HAVE_RECEIVED,R_3_8_JUST)
      & from_clr37(R_3_7_HAVE_RECEIVED,R_3_13_THE_ORGANISER) ) ).


n3_a_fce_0100_2000_06 n3_a_fce_0100_2000_06_4 You n3_a_fce_0100_2000_06_9 recently n3_a_fce_0100_2000_06_11 entered n3_a_fce_0100_2000_06_14 a n3_a_fce_0100_2000_06_16 competition n3_a_fce_0100_2000_06_19 and n3_a_fce_0100_2000_06_22 have n3_a_fce_0100_2000_06_26 just n3_a_fce_0100_2000_06_28 received n3_a_fce_0100_2000_06_31 this n3_a_fce_0100_2000_06_33 letter n3_a_fce_0100_2000_06_36 from n3_a_fce_0100_2000_06_39 the n3_a_fce_0100_2000_06_41 organiser n3_a_fce_0100_2000_06_43 . n3_a_fce_0100_2000_06_1 IP-MAT n3_a_fce_0100_2000_06_2 NP-SBJ n3_a_fce_0100_2000_06_1->n3_a_fce_0100_2000_06_2 n3_a_fce_0100_2000_06_5 ILYR n3_a_fce_0100_2000_06_1->n3_a_fce_0100_2000_06_5 n3_a_fce_0100_2000_06_42 PUNC n3_a_fce_0100_2000_06_1->n3_a_fce_0100_2000_06_42 n3_a_fce_0100_2000_06_3 PRO n3_a_fce_0100_2000_06_2->n3_a_fce_0100_2000_06_3 n3_a_fce_0100_2000_06_3->n3_a_fce_0100_2000_06_4 n3_a_fce_0100_2000_06_6 ILYR n3_a_fce_0100_2000_06_5->n3_a_fce_0100_2000_06_6 n3_a_fce_0100_2000_06_17 CONJP n3_a_fce_0100_2000_06_5->n3_a_fce_0100_2000_06_17 n3_a_fce_0100_2000_06_7 ADVP-NIM n3_a_fce_0100_2000_06_6->n3_a_fce_0100_2000_06_7 n3_a_fce_0100_2000_06_10 VBD;_Tn_ n3_a_fce_0100_2000_06_6->n3_a_fce_0100_2000_06_10 n3_a_fce_0100_2000_06_12 NP-OB1 n3_a_fce_0100_2000_06_6->n3_a_fce_0100_2000_06_12 n3_a_fce_0100_2000_06_8 ADV n3_a_fce_0100_2000_06_7->n3_a_fce_0100_2000_06_8 n3_a_fce_0100_2000_06_8->n3_a_fce_0100_2000_06_9 n3_a_fce_0100_2000_06_10->n3_a_fce_0100_2000_06_11 n3_a_fce_0100_2000_06_13 D n3_a_fce_0100_2000_06_12->n3_a_fce_0100_2000_06_13 n3_a_fce_0100_2000_06_15 N n3_a_fce_0100_2000_06_12->n3_a_fce_0100_2000_06_15 n3_a_fce_0100_2000_06_13->n3_a_fce_0100_2000_06_14 n3_a_fce_0100_2000_06_15->n3_a_fce_0100_2000_06_16 n3_a_fce_0100_2000_06_18 CONJ n3_a_fce_0100_2000_06_17->n3_a_fce_0100_2000_06_18 n3_a_fce_0100_2000_06_20 ILYR n3_a_fce_0100_2000_06_17->n3_a_fce_0100_2000_06_20 n3_a_fce_0100_2000_06_18->n3_a_fce_0100_2000_06_19 n3_a_fce_0100_2000_06_21 HVP;_cat_Ve_ n3_a_fce_0100_2000_06_20->n3_a_fce_0100_2000_06_21 n3_a_fce_0100_2000_06_23 IP-PPL-CAT n3_a_fce_0100_2000_06_20->n3_a_fce_0100_2000_06_23 n3_a_fce_0100_2000_06_21->n3_a_fce_0100_2000_06_22 n3_a_fce_0100_2000_06_24 ADVP-NIM n3_a_fce_0100_2000_06_23->n3_a_fce_0100_2000_06_24 n3_a_fce_0100_2000_06_27 VVN;_Tn.pr_ n3_a_fce_0100_2000_06_23->n3_a_fce_0100_2000_06_27 n3_a_fce_0100_2000_06_29 NP-OB1 n3_a_fce_0100_2000_06_23->n3_a_fce_0100_2000_06_29 n3_a_fce_0100_2000_06_34 PP-CLR n3_a_fce_0100_2000_06_23->n3_a_fce_0100_2000_06_34 n3_a_fce_0100_2000_06_25 ADV n3_a_fce_0100_2000_06_24->n3_a_fce_0100_2000_06_25 n3_a_fce_0100_2000_06_25->n3_a_fce_0100_2000_06_26 n3_a_fce_0100_2000_06_27->n3_a_fce_0100_2000_06_28 n3_a_fce_0100_2000_06_30 D n3_a_fce_0100_2000_06_29->n3_a_fce_0100_2000_06_30 n3_a_fce_0100_2000_06_32 N n3_a_fce_0100_2000_06_29->n3_a_fce_0100_2000_06_32 n3_a_fce_0100_2000_06_30->n3_a_fce_0100_2000_06_31 n3_a_fce_0100_2000_06_32->n3_a_fce_0100_2000_06_33 n3_a_fce_0100_2000_06_35 P-ROLE n3_a_fce_0100_2000_06_34->n3_a_fce_0100_2000_06_35 n3_a_fce_0100_2000_06_37 NP n3_a_fce_0100_2000_06_34->n3_a_fce_0100_2000_06_37 n3_a_fce_0100_2000_06_35->n3_a_fce_0100_2000_06_36 n3_a_fce_0100_2000_06_38 D n3_a_fce_0100_2000_06_37->n3_a_fce_0100_2000_06_38 n3_a_fce_0100_2000_06_40 N n3_a_fce_0100_2000_06_37->n3_a_fce_0100_2000_06_40 n3_a_fce_0100_2000_06_38->n3_a_fce_0100_2000_06_39 n3_a_fce_0100_2000_06_40->n3_a_fce_0100_2000_06_41 n3_a_fce_0100_2000_06_42->n3_a_fce_0100_2000_06_43 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (ILYR (ILYR (ADVP-NIM (ADV recently;{recently}))
                      (VBD;_Tn_ entered;{enter})
                      (NP-OB1 (D a;{a})
                              (N competition;{competition})))
                (CONJP (CONJ and;{and})
                       (ILYR (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
                                         (VVN;_Tn.pr_ received;{receive[from]})
                                         (NP-OB1;{LETTER} (D this;{this})
                                                          (N letter;{letter}))
                                         (PP-CLR (P-ROLE from;{from})
                                                 (NP (D the;{the})
                                                     (N organiser;{organiser})))))))
          (PUNC .))
  (ID 3_a_fce_0100_2000_06))