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_7_2_HAVE_WON,R_7_1_YOU,Z_7_A_FCE_100_2000_6_27,R_7_5_PRIZE,R_7_4_FIRST,R_7_8_COMPETITION,R_7_7_OUR,R_7_10_TWO_WEEKS,R_7_13_CAMP_CALIFORNIA,R_7_16_THE_U_DOT_S_DOT_A] :
      ( you(R_7_1_YOU)
      & first(R_7_4_FIRST)
      & our(R_7_7_OUR)
      & the_U_dot_S_dot_A(R_7_16_THE_U_DOT_S_DOT_A)
      & have_won(R_7_2_HAVE_WON,R_7_1_YOU,R_7_5_PRIZE)
      & prize(R_7_5_PRIZE)
      & attrib11(R_7_5_PRIZE,R_7_4_FIRST)
      & in(R_7_5_PRIZE,R_7_8_COMPETITION)
      & competition(R_7_8_COMPETITION)
      & gen(R_7_8_COMPETITION,R_7_7_OUR)
      & z_7_a_fce_100_2000_6_27(Z_7_A_FCE_100_2000_6_27,R_7_5_PRIZE,R_7_10_TWO_WEEKS)
      & two_weeks(R_7_10_TWO_WEEKS)
      & at(R_7_10_TWO_WEEKS,R_7_13_CAMP_CALIFORNIA)
      & camp_California(R_7_13_CAMP_CALIFORNIA)
      & in(R_7_13_CAMP_CALIFORNIA,R_7_16_THE_U_DOT_S_DOT_A) ) ).


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))