Context                Previous, Next                Top


7_a_fce_0100_2000_06
You have won first prize in our competition -- two weeks at Camp California in the U.S.A.

%3 r_0007_0002__have have r_0007_0003__won won r_0007_0002__have->r_0007_0003__won [scope] r_0007_0001__You You r_0007_0003__won->r_0007_0001__You [arg0] r_0007_0005__prize prize r_0007_0003__won->r_0007_0005__prize [arg1] r_0007_0004__first first r_0007_0005__prize->r_0007_0004__first [attrib] r_0007_0008__competition competition r_0007_0005__prize->r_0007_0008__competition in r_0007_0007__our our r_0007_0008__competition->r_0007_0007__our [gen] r_0007_0010__two_r_0007_0011__weeks two weeks r_0007_0013__Camp_r_0007_0014__California Camp California r_0007_0010__two_r_0007_0011__weeks->r_0007_0013__Camp_r_0007_0014__California at r_0007_0016__the_r_0007_0017__U_dot_S_dot_A the U.S.A r_0007_0013__Camp_r_0007_0014__California->r_0007_0016__the_r_0007_0017__U_dot_S_dot_A in z_000_7_a_fce_0100_2000_06_27 z_000_7_a_fce_0100_2000_06_27->r_0007_0005__prize [arg0] z_000_7_a_fce_0100_2000_06_27->r_0007_0010__two_r_0007_0011__weeks [prd] 
arc(r_0007_0002__have, r_0007_0003__won, scope).
arc(r_0007_0003__won, r_0007_0001__You, arg0).
arc(r_0007_0003__won, r_0007_0005__prize, arg1).
arc(r_0007_0005__prize, r_0007_0004__first, attrib11).
arc(r_0007_0005__prize, r_0007_0008__competition, r_0007_0006__in).
arc(r_0007_0008__competition, r_0007_0007__our, gen).
arc(r_0007_0010__two_r_0007_0011__weeks, r_0007_0013__Camp_r_0007_0014__California, r_0007_0012__at).
arc(r_0007_0013__Camp_r_0007_0014__California, r_0007_0016__the_r_0007_0017__U_dot_S_dot_A, r_0007_0015__in).
arc(z_000_7_a_fce_0100_2000_06_27, r_0007_0005__prize, arg0).
arc(z_000_7_a_fce_0100_2000_06_27, r_0007_0010__two_r_0007_0011__weeks, prd).


%3 z_000_7_a_fce_0100_2000_06_27 r_0007_0010__two_r_0007_0011__weeks two weeks z_000_7_a_fce_0100_2000_06_27->r_0007_0010__two_r_0007_0011__weeks [prd] r_0007_0005__prize prize z_000_7_a_fce_0100_2000_06_27->r_0007_0005__prize [arg0] r_0007_0013__Camp_r_0007_0014__California Camp California r_0007_0010__two_r_0007_0011__weeks->r_0007_0013__Camp_r_0007_0014__California at r_0007_0008__competition competition r_0007_0005__prize->r_0007_0008__competition in r_0007_0004__first first r_0007_0005__prize->r_0007_0004__first [attrib] r_0007_0016__the_r_0007_0017__U_dot_S_dot_A the U.S.A r_0007_0013__Camp_r_0007_0014__California->r_0007_0016__the_r_0007_0017__U_dot_S_dot_A in r_0007_0007__our our r_0007_0008__competition->r_0007_0007__our [gen] r_0007_0002__have_r_0007_0003__won have won r_0007_0002__have_r_0007_0003__won->r_0007_0005__prize [arg1] r_0007_0001__You You r_0007_0002__have_r_0007_0003__won->r_0007_0001__You [arg0] 
fof(formula,axiom,
    ? [R_0007_0001__YOU,R_0007_0004__FIRST,R_0007_0007__OUR,R_0007_0008__COMPETITION,R_0007_0005__PRIZE,R_0007_0002__HAVE_R_0007_0003__WON,R_0007_0016__THE_R_0007_0017__U_DOT_S_DOT_A,R_0007_0013__CAMP_R_0007_0014__CALIFORNIA,R_0007_0010__TWO_R_0007_0011__WEEKS,Z_000_7_A_FCE_0100_2000_06_27] :
      ( r_0007_0001__You(R_0007_0001__YOU)
      & r_0007_0004__first(R_0007_0004__FIRST)
      & r_0007_0007__our(R_0007_0007__OUR)
      & r_0007_0016__the_r_0007_0017__U_dot_S_dot_A(R_0007_0016__THE_R_0007_0017__U_DOT_S_DOT_A)
      & z_000_7_a_fce_0100_2000_06_27(Z_000_7_A_FCE_0100_2000_06_27)
      & has_prd(Z_000_7_A_FCE_0100_2000_06_27,R_0007_0010__TWO_R_0007_0011__WEEKS)
      & r_0007_0010__two_r_0007_0011__weeks(R_0007_0010__TWO_R_0007_0011__WEEKS)
      & has_r_0007_0012__at(R_0007_0010__TWO_R_0007_0011__WEEKS,R_0007_0013__CAMP_R_0007_0014__CALIFORNIA)
      & r_0007_0013__Camp_r_0007_0014__California(R_0007_0013__CAMP_R_0007_0014__CALIFORNIA)
      & has_r_0007_0015__in(R_0007_0013__CAMP_R_0007_0014__CALIFORNIA,R_0007_0016__THE_R_0007_0017__U_DOT_S_DOT_A)
      & has_arg0(Z_000_7_A_FCE_0100_2000_06_27,R_0007_0005__PRIZE)
      & r_0007_0005__prize(R_0007_0005__PRIZE)
      & has_r_0007_0006__in(R_0007_0005__PRIZE,R_0007_0008__COMPETITION)
      & r_0007_0008__competition(R_0007_0008__COMPETITION)
      & has_gen(R_0007_0008__COMPETITION,R_0007_0007__OUR)
      & has_attrib11(R_0007_0005__PRIZE,R_0007_0004__FIRST)
      & r_0007_0002__have_r_0007_0003__won(R_0007_0002__HAVE_R_0007_0003__WON)
      & has_arg1(R_0007_0002__HAVE_R_0007_0003__WON,R_0007_0005__PRIZE)
      & has_arg0(R_0007_0002__HAVE_R_0007_0003__WON,R_0007_0001__YOU) ) ).


n7_a_fce_0100_2000_06 n7_a_fce_0100_2000_06__1_1_1_1 You n7_a_fce_0100_2000_06__1_2_1 have n7_a_fce_0100_2000_06__1_3_1_1 won n7_a_fce_0100_2000_06__1_3_2_1_1_1 first n7_a_fce_0100_2000_06__1_3_2_2_1 prize n7_a_fce_0100_2000_06__1_3_2_3_1_1 in n7_a_fce_0100_2000_06__1_3_2_3_2_1_1_1 our n7_a_fce_0100_2000_06__1_3_2_3_2_2_1 competition n7_a_fce_0100_2000_06__1_3_2_4_1 -- n7_a_fce_0100_2000_06__1_3_2_5_1_1_1 two n7_a_fce_0100_2000_06__1_3_2_5_1_2_1 weeks n7_a_fce_0100_2000_06__1_3_2_5_1_3_1_1 at n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_1_1 Camp n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_2_1 California n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_1_1 in n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_1_1 the n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_2_1 U.S.A n7_a_fce_0100_2000_06__1_4_1 . n7_a_fce_0100_2000_06__1 IP-MAT n7_a_fce_0100_2000_06__1_1 NP-SBJ n7_a_fce_0100_2000_06__1->n7_a_fce_0100_2000_06__1_1 n7_a_fce_0100_2000_06__1_2 HVP;_cat_Ve_ n7_a_fce_0100_2000_06__1->n7_a_fce_0100_2000_06__1_2 n7_a_fce_0100_2000_06__1_3 IP-PPL-CAT n7_a_fce_0100_2000_06__1->n7_a_fce_0100_2000_06__1_3 n7_a_fce_0100_2000_06__1_4 PUNC n7_a_fce_0100_2000_06__1->n7_a_fce_0100_2000_06__1_4 n7_a_fce_0100_2000_06__1_1_1 PRO n7_a_fce_0100_2000_06__1_1->n7_a_fce_0100_2000_06__1_1_1 n7_a_fce_0100_2000_06__1_1_1->n7_a_fce_0100_2000_06__1_1_1_1 n7_a_fce_0100_2000_06__1_2->n7_a_fce_0100_2000_06__1_2_1 n7_a_fce_0100_2000_06__1_3_1 VVN;_Tn_ n7_a_fce_0100_2000_06__1_3->n7_a_fce_0100_2000_06__1_3_1 n7_a_fce_0100_2000_06__1_3_2 NP-OB1 n7_a_fce_0100_2000_06__1_3->n7_a_fce_0100_2000_06__1_3_2 n7_a_fce_0100_2000_06__1_3_1->n7_a_fce_0100_2000_06__1_3_1_1 n7_a_fce_0100_2000_06__1_3_2_1 ADJP n7_a_fce_0100_2000_06__1_3_2->n7_a_fce_0100_2000_06__1_3_2_1 n7_a_fce_0100_2000_06__1_3_2_2 N n7_a_fce_0100_2000_06__1_3_2->n7_a_fce_0100_2000_06__1_3_2_2 n7_a_fce_0100_2000_06__1_3_2_3 PP n7_a_fce_0100_2000_06__1_3_2->n7_a_fce_0100_2000_06__1_3_2_3 n7_a_fce_0100_2000_06__1_3_2_4 PUNC n7_a_fce_0100_2000_06__1_3_2->n7_a_fce_0100_2000_06__1_3_2_4 n7_a_fce_0100_2000_06__1_3_2_5 IP-PPL n7_a_fce_0100_2000_06__1_3_2->n7_a_fce_0100_2000_06__1_3_2_5 n7_a_fce_0100_2000_06__1_3_2_1_1 ADJ n7_a_fce_0100_2000_06__1_3_2_1->n7_a_fce_0100_2000_06__1_3_2_1_1 n7_a_fce_0100_2000_06__1_3_2_1_1->n7_a_fce_0100_2000_06__1_3_2_1_1_1 n7_a_fce_0100_2000_06__1_3_2_2->n7_a_fce_0100_2000_06__1_3_2_2_1 n7_a_fce_0100_2000_06__1_3_2_3_1 P-ROLE n7_a_fce_0100_2000_06__1_3_2_3->n7_a_fce_0100_2000_06__1_3_2_3_1 n7_a_fce_0100_2000_06__1_3_2_3_2 NP n7_a_fce_0100_2000_06__1_3_2_3->n7_a_fce_0100_2000_06__1_3_2_3_2 n7_a_fce_0100_2000_06__1_3_2_3_1->n7_a_fce_0100_2000_06__1_3_2_3_1_1 n7_a_fce_0100_2000_06__1_3_2_3_2_1 NP-GEN n7_a_fce_0100_2000_06__1_3_2_3_2->n7_a_fce_0100_2000_06__1_3_2_3_2_1 n7_a_fce_0100_2000_06__1_3_2_3_2_2 N n7_a_fce_0100_2000_06__1_3_2_3_2->n7_a_fce_0100_2000_06__1_3_2_3_2_2 n7_a_fce_0100_2000_06__1_3_2_3_2_1_1 PRO;_genm_ n7_a_fce_0100_2000_06__1_3_2_3_2_1->n7_a_fce_0100_2000_06__1_3_2_3_2_1_1 n7_a_fce_0100_2000_06__1_3_2_3_2_1_1->n7_a_fce_0100_2000_06__1_3_2_3_2_1_1_1 n7_a_fce_0100_2000_06__1_3_2_3_2_2->n7_a_fce_0100_2000_06__1_3_2_3_2_2_1 n7_a_fce_0100_2000_06__1_3_2_4->n7_a_fce_0100_2000_06__1_3_2_4_1 n7_a_fce_0100_2000_06__1_3_2_5_1 NP-PRD n7_a_fce_0100_2000_06__1_3_2_5->n7_a_fce_0100_2000_06__1_3_2_5_1 n7_a_fce_0100_2000_06__1_3_2_5_1_1 NUM n7_a_fce_0100_2000_06__1_3_2_5_1->n7_a_fce_0100_2000_06__1_3_2_5_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_2 NS n7_a_fce_0100_2000_06__1_3_2_5_1->n7_a_fce_0100_2000_06__1_3_2_5_1_2 n7_a_fce_0100_2000_06__1_3_2_5_1_3 PP n7_a_fce_0100_2000_06__1_3_2_5_1->n7_a_fce_0100_2000_06__1_3_2_5_1_3 n7_a_fce_0100_2000_06__1_3_2_5_1_1->n7_a_fce_0100_2000_06__1_3_2_5_1_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_2->n7_a_fce_0100_2000_06__1_3_2_5_1_2_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_1 P-ROLE n7_a_fce_0100_2000_06__1_3_2_5_1_3->n7_a_fce_0100_2000_06__1_3_2_5_1_3_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2 NP n7_a_fce_0100_2000_06__1_3_2_5_1_3->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2 n7_a_fce_0100_2000_06__1_3_2_5_1_3_1->n7_a_fce_0100_2000_06__1_3_2_5_1_3_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_1 NPR n7_a_fce_0100_2000_06__1_3_2_5_1_3_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_2 NPR n7_a_fce_0100_2000_06__1_3_2_5_1_3_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_2 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3 PP n7_a_fce_0100_2000_06__1_3_2_5_1_3_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_1->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_2_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_1 P-ROLE n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2 NP n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_1->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_1 D n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_2 NPR n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_2 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_1->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_1_1 n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_2->n7_a_fce_0100_2000_06__1_3_2_5_1_3_2_3_2_2_1 n7_a_fce_0100_2000_06__1_4->n7_a_fce_0100_2000_06__1_4_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ won;{win})
                      (NP-OB1 (ADJP (ADJ first;{first}))
                              (N prize;{prize})
                              (PP (P-ROLE in;{in})
                                  (NP (NP-GEN (PRO;_genm_ our;{our}))
                                      (N competition;{competition})))
                              (PUNC --)
                              (IP-PPL (NP-PRD (NUM two;{two})
                                              (NS weeks;{week})
                                              (PP (P-ROLE at;{at})
                                                  (NP;{CAMP} (NPR Camp;{Camp})
                                                             (NPR California;{California})
                                                             (PP (P-ROLE in;{in})
                                                                 (NP (D the;{the})
                                                                     (NPR U<dot>S<dot>A;{U<dot>S<dot>A<dot>})))))))))
          (PUNC .))
  (ID 7_a_fce_0100_2000_06))