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_0007__have_r_0003_0009__received have received 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] 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_0008__just just r_0003_0007__have_r_0003_0009__received->r_0003_0008__just [nim] r_0003_0001__You You r_0003_0007__have_r_0003_0009__received->r_0003_0001__You [arg0] r_0003_0006__and and r_0003_0006__and->r_0003_0007__have_r_0003_0009__received [conj2] r_0003_0003__entered entered r_0003_0006__and->r_0003_0003__entered [conj1] r_0003_0003__entered->r_0003_0001__You [arg0] 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_0002__recently recently r_0003_0003__entered->r_0003_0002__recently [nim] 
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__1_1_1_1 You n3_a_fce_0100_2000_06__1_2_1_1_1_1 recently n3_a_fce_0100_2000_06__1_2_1_2_1 entered n3_a_fce_0100_2000_06__1_2_1_3_1_1 a n3_a_fce_0100_2000_06__1_2_1_3_2_1 competition n3_a_fce_0100_2000_06__1_2_2_1_1 and n3_a_fce_0100_2000_06__1_2_2_2_1_1 have n3_a_fce_0100_2000_06__1_2_2_2_2_1_1_1 just n3_a_fce_0100_2000_06__1_2_2_2_2_2_1 received n3_a_fce_0100_2000_06__1_2_2_2_2_3_1_1 this n3_a_fce_0100_2000_06__1_2_2_2_2_3_2_1 letter n3_a_fce_0100_2000_06__1_2_2_2_2_4_1_1 from n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_1_1 the n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_2_1 organiser n3_a_fce_0100_2000_06__1_3_1 . n3_a_fce_0100_2000_06__1 IP-MAT n3_a_fce_0100_2000_06__1_1 NP-SBJ n3_a_fce_0100_2000_06__1->n3_a_fce_0100_2000_06__1_1 n3_a_fce_0100_2000_06__1_2 ILYR n3_a_fce_0100_2000_06__1->n3_a_fce_0100_2000_06__1_2 n3_a_fce_0100_2000_06__1_3 PUNC n3_a_fce_0100_2000_06__1->n3_a_fce_0100_2000_06__1_3 n3_a_fce_0100_2000_06__1_1_1 PRO n3_a_fce_0100_2000_06__1_1->n3_a_fce_0100_2000_06__1_1_1 n3_a_fce_0100_2000_06__1_1_1->n3_a_fce_0100_2000_06__1_1_1_1 n3_a_fce_0100_2000_06__1_2_1 ILYR n3_a_fce_0100_2000_06__1_2->n3_a_fce_0100_2000_06__1_2_1 n3_a_fce_0100_2000_06__1_2_2 CONJP n3_a_fce_0100_2000_06__1_2->n3_a_fce_0100_2000_06__1_2_2 n3_a_fce_0100_2000_06__1_2_1_1 ADVP-NIM n3_a_fce_0100_2000_06__1_2_1->n3_a_fce_0100_2000_06__1_2_1_1 n3_a_fce_0100_2000_06__1_2_1_2 VBD;_Tn_ n3_a_fce_0100_2000_06__1_2_1->n3_a_fce_0100_2000_06__1_2_1_2 n3_a_fce_0100_2000_06__1_2_1_3 NP-OB1 n3_a_fce_0100_2000_06__1_2_1->n3_a_fce_0100_2000_06__1_2_1_3 n3_a_fce_0100_2000_06__1_2_1_1_1 ADV n3_a_fce_0100_2000_06__1_2_1_1->n3_a_fce_0100_2000_06__1_2_1_1_1 n3_a_fce_0100_2000_06__1_2_1_1_1->n3_a_fce_0100_2000_06__1_2_1_1_1_1 n3_a_fce_0100_2000_06__1_2_1_2->n3_a_fce_0100_2000_06__1_2_1_2_1 n3_a_fce_0100_2000_06__1_2_1_3_1 D n3_a_fce_0100_2000_06__1_2_1_3->n3_a_fce_0100_2000_06__1_2_1_3_1 n3_a_fce_0100_2000_06__1_2_1_3_2 N n3_a_fce_0100_2000_06__1_2_1_3->n3_a_fce_0100_2000_06__1_2_1_3_2 n3_a_fce_0100_2000_06__1_2_1_3_1->n3_a_fce_0100_2000_06__1_2_1_3_1_1 n3_a_fce_0100_2000_06__1_2_1_3_2->n3_a_fce_0100_2000_06__1_2_1_3_2_1 n3_a_fce_0100_2000_06__1_2_2_1 CONJ n3_a_fce_0100_2000_06__1_2_2->n3_a_fce_0100_2000_06__1_2_2_1 n3_a_fce_0100_2000_06__1_2_2_2 ILYR n3_a_fce_0100_2000_06__1_2_2->n3_a_fce_0100_2000_06__1_2_2_2 n3_a_fce_0100_2000_06__1_2_2_1->n3_a_fce_0100_2000_06__1_2_2_1_1 n3_a_fce_0100_2000_06__1_2_2_2_1 HVP;_cat_Ve_ n3_a_fce_0100_2000_06__1_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_1 n3_a_fce_0100_2000_06__1_2_2_2_2 IP-PPL-CAT n3_a_fce_0100_2000_06__1_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2 n3_a_fce_0100_2000_06__1_2_2_2_1->n3_a_fce_0100_2000_06__1_2_2_2_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_1 ADVP-NIM n3_a_fce_0100_2000_06__1_2_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_1 n3_a_fce_0100_2000_06__1_2_2_2_2_2 VVN;_Tn.pr_ n3_a_fce_0100_2000_06__1_2_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_2 n3_a_fce_0100_2000_06__1_2_2_2_2_3 NP-OB1 n3_a_fce_0100_2000_06__1_2_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_3 n3_a_fce_0100_2000_06__1_2_2_2_2_4 PP-CLR n3_a_fce_0100_2000_06__1_2_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_4 n3_a_fce_0100_2000_06__1_2_2_2_2_1_1 ADV n3_a_fce_0100_2000_06__1_2_2_2_2_1->n3_a_fce_0100_2000_06__1_2_2_2_2_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_1_1->n3_a_fce_0100_2000_06__1_2_2_2_2_1_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_2_1 n3_a_fce_0100_2000_06__1_2_2_2_2_3_1 D n3_a_fce_0100_2000_06__1_2_2_2_2_3->n3_a_fce_0100_2000_06__1_2_2_2_2_3_1 n3_a_fce_0100_2000_06__1_2_2_2_2_3_2 N n3_a_fce_0100_2000_06__1_2_2_2_2_3->n3_a_fce_0100_2000_06__1_2_2_2_2_3_2 n3_a_fce_0100_2000_06__1_2_2_2_2_3_1->n3_a_fce_0100_2000_06__1_2_2_2_2_3_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_3_2->n3_a_fce_0100_2000_06__1_2_2_2_2_3_2_1 n3_a_fce_0100_2000_06__1_2_2_2_2_4_1 P-ROLE n3_a_fce_0100_2000_06__1_2_2_2_2_4->n3_a_fce_0100_2000_06__1_2_2_2_2_4_1 n3_a_fce_0100_2000_06__1_2_2_2_2_4_2 NP n3_a_fce_0100_2000_06__1_2_2_2_2_4->n3_a_fce_0100_2000_06__1_2_2_2_2_4_2 n3_a_fce_0100_2000_06__1_2_2_2_2_4_1->n3_a_fce_0100_2000_06__1_2_2_2_2_4_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_1 D n3_a_fce_0100_2000_06__1_2_2_2_2_4_2->n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_1 n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_2 N n3_a_fce_0100_2000_06__1_2_2_2_2_4_2->n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_2 n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_1->n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_1_1 n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_2->n3_a_fce_0100_2000_06__1_2_2_2_2_4_2_2_1 n3_a_fce_0100_2000_06__1_3->n3_a_fce_0100_2000_06__1_3_1 
( (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))