Context                Previous, Next                Top


3_a_fce_0102_2001_03
Next month, Pete, an English friend who lives in London, will be on holiday in New York for two weeks.

%3 r_0003_0002__month month r_0003_0001__Next Next r_0003_0002__month->r_0003_0001__Next [attrib] r_0003_0006__an_r_0003_0008__friend an friend r_0003_0007__English English r_0003_0006__an_r_0003_0008__friend->r_0003_0007__English [attrib] r_0003_0010__lives lives r_0003_0010__lives->r_0003_0006__an_r_0003_0008__friend [arg0] r_0003_0012__London London r_0003_0010__lives->r_0003_0012__London in [clr] r_0003_0014__will will r_0003_0014__will->r_0003_0002__month [nim] r_0003_0015__be be r_0003_0014__will->r_0003_0015__be [scope] r_0003_0004__Pete Pete r_0003_0015__be->r_0003_0004__Pete [arg0] r_0003_0017__holiday holiday r_0003_0015__be->r_0003_0017__holiday on [clr] r_0003_0022__two_r_0003_0023__weeks two weeks r_0003_0015__be->r_0003_0022__two_r_0003_0023__weeks for [nim] r_0003_0019__New_r_0003_0020__York New York r_0003_0017__holiday->r_0003_0019__New_r_0003_0020__York in z_000_3_a_fce_0102_2001_03_15 z_000_3_a_fce_0102_2001_03_15->r_0003_0006__an_r_0003_0008__friend [prd] z_000_3_a_fce_0102_2001_03_15->r_0003_0004__Pete [arg0] 
arc(r_0003_0002__month, r_0003_0001__Next, attrib3).
arc(r_0003_0006__an_r_0003_0008__friend, r_0003_0007__English, attrib19).
arc(r_0003_0010__lives, r_0003_0006__an_r_0003_0008__friend, arg0).
arc(r_0003_0010__lives, r_0003_0012__London, r_0003_0011__in_clr33).
arc(r_0003_0014__will, r_0003_0002__month, nim2).
arc(r_0003_0014__will, r_0003_0015__be, scope).
arc(r_0003_0015__be, r_0003_0004__Pete, arg0).
arc(r_0003_0015__be, r_0003_0017__holiday, r_0003_0016__on_clr46).
arc(r_0003_0015__be, r_0003_0022__two_r_0003_0023__weeks, r_0003_0021__for_nim60).
arc(r_0003_0017__holiday, r_0003_0019__New_r_0003_0020__York, r_0003_0018__in).
arc(z_000_3_a_fce_0102_2001_03_15, r_0003_0004__Pete, arg0).
arc(z_000_3_a_fce_0102_2001_03_15, r_0003_0006__an_r_0003_0008__friend, prd).


%3 z_000_3_a_fce_0102_2001_03_15 r_0003_0006__an_r_0003_0008__friend an friend z_000_3_a_fce_0102_2001_03_15->r_0003_0006__an_r_0003_0008__friend [prd] r_0003_0004__Pete Pete z_000_3_a_fce_0102_2001_03_15->r_0003_0004__Pete [arg0] r_0003_0007__English English r_0003_0006__an_r_0003_0008__friend->r_0003_0007__English [attrib] r_0003_0017__holiday holiday r_0003_0019__New_r_0003_0020__York New York r_0003_0017__holiday->r_0003_0019__New_r_0003_0020__York in r_0003_0014__will_r_0003_0015__be will be r_0003_0014__will_r_0003_0015__be->r_0003_0004__Pete [arg0] r_0003_0014__will_r_0003_0015__be->r_0003_0017__holiday on [clr] r_0003_0022__two_r_0003_0023__weeks two weeks r_0003_0014__will_r_0003_0015__be->r_0003_0022__two_r_0003_0023__weeks for [nim] r_0003_0002__month month r_0003_0014__will_r_0003_0015__be->r_0003_0002__month [nim] r_0003_0001__Next Next r_0003_0002__month->r_0003_0001__Next [attrib] r_0003_0010__lives lives r_0003_0010__lives->r_0003_0006__an_r_0003_0008__friend [arg0] r_0003_0012__London London r_0003_0010__lives->r_0003_0012__London in [clr] 
fof(formula,axiom,
    ? [R_0003_0007__ENGLISH,R_0003_0006__AN_R_0003_0008__FRIEND,R_0003_0012__LONDON,R_0003_0010__LIVES,R_0003_0001__NEXT,R_0003_0002__MONTH,R_0003_0004__PETE,R_0003_0019__NEW_R_0003_0020__YORK,R_0003_0017__HOLIDAY,R_0003_0022__TWO_R_0003_0023__WEEKS,R_0003_0014__WILL_R_0003_0015__BE,Z_000_3_A_FCE_0102_2001_03_15] :
      ( r_0003_0001__Next(R_0003_0001__NEXT)
      & r_0003_0004__Pete(R_0003_0004__PETE)
      & r_0003_0007__English(R_0003_0007__ENGLISH)
      & r_0003_0012__London(R_0003_0012__LONDON)
      & r_0003_0019__New_r_0003_0020__York(R_0003_0019__NEW_R_0003_0020__YORK)
      & r_0003_0022__two_r_0003_0023__weeks(R_0003_0022__TWO_R_0003_0023__WEEKS)
      & z_000_3_a_fce_0102_2001_03_15(Z_000_3_A_FCE_0102_2001_03_15)
      & has_prd(Z_000_3_A_FCE_0102_2001_03_15,R_0003_0006__AN_R_0003_0008__FRIEND)
      & r_0003_0006__an_r_0003_0008__friend(R_0003_0006__AN_R_0003_0008__FRIEND)
      & has_attrib19(R_0003_0006__AN_R_0003_0008__FRIEND,R_0003_0007__ENGLISH)
      & has_arg0(Z_000_3_A_FCE_0102_2001_03_15,R_0003_0004__PETE)
      & r_0003_0014__will_r_0003_0015__be(R_0003_0014__WILL_R_0003_0015__BE)
      & has_r_0003_0021__for_nim60(R_0003_0014__WILL_R_0003_0015__BE,R_0003_0022__TWO_R_0003_0023__WEEKS)
      & has_r_0003_0016__on_clr46(R_0003_0014__WILL_R_0003_0015__BE,R_0003_0017__HOLIDAY)
      & r_0003_0017__holiday(R_0003_0017__HOLIDAY)
      & has_r_0003_0018__in(R_0003_0017__HOLIDAY,R_0003_0019__NEW_R_0003_0020__YORK)
      & has_arg0(R_0003_0014__WILL_R_0003_0015__BE,R_0003_0004__PETE)
      & has_nim2(R_0003_0014__WILL_R_0003_0015__BE,R_0003_0002__MONTH)
      & r_0003_0002__month(R_0003_0002__MONTH)
      & has_attrib3(R_0003_0002__MONTH,R_0003_0001__NEXT)
      & r_0003_0010__lives(R_0003_0010__LIVES)
      & has_r_0003_0011__in_clr33(R_0003_0010__LIVES,R_0003_0012__LONDON)
      & has_arg0(R_0003_0010__LIVES,R_0003_0006__AN_R_0003_0008__FRIEND) ) ).


n3_a_fce_0102_2001_03 n3_a_fce_0102_2001_03__1_1_1_1_1 Next n3_a_fce_0102_2001_03__1_1_2_1 month n3_a_fce_0102_2001_03__1_2_1 , n3_a_fce_0102_2001_03__1_3_1_1 Pete n3_a_fce_0102_2001_03__1_3_2_1 , n3_a_fce_0102_2001_03__1_3_3_1_1_1 an n3_a_fce_0102_2001_03__1_3_3_1_2_1_1 English n3_a_fce_0102_2001_03__1_3_3_1_3_1 friend n3_a_fce_0102_2001_03__1_3_3_1_4_1_1_1 who n3_a_fce_0102_2001_03__1_3_3_1_4_2_1 lives n3_a_fce_0102_2001_03__1_3_3_1_4_3_1_1 in n3_a_fce_0102_2001_03__1_3_3_1_4_3_2_1_1 London n3_a_fce_0102_2001_03__1_4_1 , n3_a_fce_0102_2001_03__1_5_1 will n3_a_fce_0102_2001_03__1_6_1_1 be n3_a_fce_0102_2001_03__1_6_2_1_1 on n3_a_fce_0102_2001_03__1_6_2_2_1_1 holiday n3_a_fce_0102_2001_03__1_6_2_2_2_1_1 in n3_a_fce_0102_2001_03__1_6_2_2_2_2_1_1 New n3_a_fce_0102_2001_03__1_6_2_2_2_2_2_1 York n3_a_fce_0102_2001_03__1_6_3_1_1 for n3_a_fce_0102_2001_03__1_6_3_2_1_1 two n3_a_fce_0102_2001_03__1_6_3_2_2_1 weeks n3_a_fce_0102_2001_03__1_7_1 . n3_a_fce_0102_2001_03__1 IP-MAT n3_a_fce_0102_2001_03__1_1 NP-NIM n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_1 n3_a_fce_0102_2001_03__1_2 PUNC n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_2 n3_a_fce_0102_2001_03__1_3 NP-SBJ n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_3 n3_a_fce_0102_2001_03__1_4 PUNC n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_4 n3_a_fce_0102_2001_03__1_5 MD;_cat_Vi_ n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_5 n3_a_fce_0102_2001_03__1_6 IP-INF-CAT n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_6 n3_a_fce_0102_2001_03__1_7 PUNC n3_a_fce_0102_2001_03__1->n3_a_fce_0102_2001_03__1_7 n3_a_fce_0102_2001_03__1_1_1 ADJP n3_a_fce_0102_2001_03__1_1->n3_a_fce_0102_2001_03__1_1_1 n3_a_fce_0102_2001_03__1_1_2 N n3_a_fce_0102_2001_03__1_1->n3_a_fce_0102_2001_03__1_1_2 n3_a_fce_0102_2001_03__1_1_1_1 ADJ n3_a_fce_0102_2001_03__1_1_1->n3_a_fce_0102_2001_03__1_1_1_1 n3_a_fce_0102_2001_03__1_1_1_1->n3_a_fce_0102_2001_03__1_1_1_1_1 n3_a_fce_0102_2001_03__1_1_2->n3_a_fce_0102_2001_03__1_1_2_1 n3_a_fce_0102_2001_03__1_2->n3_a_fce_0102_2001_03__1_2_1 n3_a_fce_0102_2001_03__1_3_1 NPR n3_a_fce_0102_2001_03__1_3->n3_a_fce_0102_2001_03__1_3_1 n3_a_fce_0102_2001_03__1_3_2 PUNC n3_a_fce_0102_2001_03__1_3->n3_a_fce_0102_2001_03__1_3_2 n3_a_fce_0102_2001_03__1_3_3 IP-PPL n3_a_fce_0102_2001_03__1_3->n3_a_fce_0102_2001_03__1_3_3 n3_a_fce_0102_2001_03__1_3_1->n3_a_fce_0102_2001_03__1_3_1_1 n3_a_fce_0102_2001_03__1_3_2->n3_a_fce_0102_2001_03__1_3_2_1 n3_a_fce_0102_2001_03__1_3_3_1 NP-PRD n3_a_fce_0102_2001_03__1_3_3->n3_a_fce_0102_2001_03__1_3_3_1 n3_a_fce_0102_2001_03__1_3_3_1_1 D n3_a_fce_0102_2001_03__1_3_3_1->n3_a_fce_0102_2001_03__1_3_3_1_1 n3_a_fce_0102_2001_03__1_3_3_1_2 ADJP n3_a_fce_0102_2001_03__1_3_3_1->n3_a_fce_0102_2001_03__1_3_3_1_2 n3_a_fce_0102_2001_03__1_3_3_1_3 N n3_a_fce_0102_2001_03__1_3_3_1->n3_a_fce_0102_2001_03__1_3_3_1_3 n3_a_fce_0102_2001_03__1_3_3_1_4 IP-REL n3_a_fce_0102_2001_03__1_3_3_1->n3_a_fce_0102_2001_03__1_3_3_1_4 n3_a_fce_0102_2001_03__1_3_3_1_1->n3_a_fce_0102_2001_03__1_3_3_1_1_1 n3_a_fce_0102_2001_03__1_3_3_1_2_1 ADJ n3_a_fce_0102_2001_03__1_3_3_1_2->n3_a_fce_0102_2001_03__1_3_3_1_2_1 n3_a_fce_0102_2001_03__1_3_3_1_2_1->n3_a_fce_0102_2001_03__1_3_3_1_2_1_1 n3_a_fce_0102_2001_03__1_3_3_1_3->n3_a_fce_0102_2001_03__1_3_3_1_3_1 n3_a_fce_0102_2001_03__1_3_3_1_4_1 NP-SBJ n3_a_fce_0102_2001_03__1_3_3_1_4->n3_a_fce_0102_2001_03__1_3_3_1_4_1 n3_a_fce_0102_2001_03__1_3_3_1_4_2 VBP;_Ipr_ n3_a_fce_0102_2001_03__1_3_3_1_4->n3_a_fce_0102_2001_03__1_3_3_1_4_2 n3_a_fce_0102_2001_03__1_3_3_1_4_3 PP-CLR n3_a_fce_0102_2001_03__1_3_3_1_4->n3_a_fce_0102_2001_03__1_3_3_1_4_3 n3_a_fce_0102_2001_03__1_3_3_1_4_1_1 RPRO n3_a_fce_0102_2001_03__1_3_3_1_4_1->n3_a_fce_0102_2001_03__1_3_3_1_4_1_1 n3_a_fce_0102_2001_03__1_3_3_1_4_1_1->n3_a_fce_0102_2001_03__1_3_3_1_4_1_1_1 n3_a_fce_0102_2001_03__1_3_3_1_4_2->n3_a_fce_0102_2001_03__1_3_3_1_4_2_1 n3_a_fce_0102_2001_03__1_3_3_1_4_3_1 P-ROLE n3_a_fce_0102_2001_03__1_3_3_1_4_3->n3_a_fce_0102_2001_03__1_3_3_1_4_3_1 n3_a_fce_0102_2001_03__1_3_3_1_4_3_2 NP n3_a_fce_0102_2001_03__1_3_3_1_4_3->n3_a_fce_0102_2001_03__1_3_3_1_4_3_2 n3_a_fce_0102_2001_03__1_3_3_1_4_3_1->n3_a_fce_0102_2001_03__1_3_3_1_4_3_1_1 n3_a_fce_0102_2001_03__1_3_3_1_4_3_2_1 NPR n3_a_fce_0102_2001_03__1_3_3_1_4_3_2->n3_a_fce_0102_2001_03__1_3_3_1_4_3_2_1 n3_a_fce_0102_2001_03__1_3_3_1_4_3_2_1->n3_a_fce_0102_2001_03__1_3_3_1_4_3_2_1_1 n3_a_fce_0102_2001_03__1_4->n3_a_fce_0102_2001_03__1_4_1 n3_a_fce_0102_2001_03__1_5->n3_a_fce_0102_2001_03__1_5_1 n3_a_fce_0102_2001_03__1_6_1 BE;_Ipr_ n3_a_fce_0102_2001_03__1_6->n3_a_fce_0102_2001_03__1_6_1 n3_a_fce_0102_2001_03__1_6_2 PP-CLR n3_a_fce_0102_2001_03__1_6->n3_a_fce_0102_2001_03__1_6_2 n3_a_fce_0102_2001_03__1_6_3 PP-NIM n3_a_fce_0102_2001_03__1_6->n3_a_fce_0102_2001_03__1_6_3 n3_a_fce_0102_2001_03__1_6_1->n3_a_fce_0102_2001_03__1_6_1_1 n3_a_fce_0102_2001_03__1_6_2_1 P-ROLE n3_a_fce_0102_2001_03__1_6_2->n3_a_fce_0102_2001_03__1_6_2_1 n3_a_fce_0102_2001_03__1_6_2_2 NP n3_a_fce_0102_2001_03__1_6_2->n3_a_fce_0102_2001_03__1_6_2_2 n3_a_fce_0102_2001_03__1_6_2_1->n3_a_fce_0102_2001_03__1_6_2_1_1 n3_a_fce_0102_2001_03__1_6_2_2_1 N n3_a_fce_0102_2001_03__1_6_2_2->n3_a_fce_0102_2001_03__1_6_2_2_1 n3_a_fce_0102_2001_03__1_6_2_2_2 PP n3_a_fce_0102_2001_03__1_6_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2 n3_a_fce_0102_2001_03__1_6_2_2_1->n3_a_fce_0102_2001_03__1_6_2_2_1_1 n3_a_fce_0102_2001_03__1_6_2_2_2_1 P-ROLE n3_a_fce_0102_2001_03__1_6_2_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2_1 n3_a_fce_0102_2001_03__1_6_2_2_2_2 NP n3_a_fce_0102_2001_03__1_6_2_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2_2 n3_a_fce_0102_2001_03__1_6_2_2_2_1->n3_a_fce_0102_2001_03__1_6_2_2_2_1_1 n3_a_fce_0102_2001_03__1_6_2_2_2_2_1 NPR n3_a_fce_0102_2001_03__1_6_2_2_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2_2_1 n3_a_fce_0102_2001_03__1_6_2_2_2_2_2 NPR n3_a_fce_0102_2001_03__1_6_2_2_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2_2_2 n3_a_fce_0102_2001_03__1_6_2_2_2_2_1->n3_a_fce_0102_2001_03__1_6_2_2_2_2_1_1 n3_a_fce_0102_2001_03__1_6_2_2_2_2_2->n3_a_fce_0102_2001_03__1_6_2_2_2_2_2_1 n3_a_fce_0102_2001_03__1_6_3_1 P-ROLE n3_a_fce_0102_2001_03__1_6_3->n3_a_fce_0102_2001_03__1_6_3_1 n3_a_fce_0102_2001_03__1_6_3_2 NP n3_a_fce_0102_2001_03__1_6_3->n3_a_fce_0102_2001_03__1_6_3_2 n3_a_fce_0102_2001_03__1_6_3_1->n3_a_fce_0102_2001_03__1_6_3_1_1 n3_a_fce_0102_2001_03__1_6_3_2_1 NUM n3_a_fce_0102_2001_03__1_6_3_2->n3_a_fce_0102_2001_03__1_6_3_2_1 n3_a_fce_0102_2001_03__1_6_3_2_2 NS n3_a_fce_0102_2001_03__1_6_3_2->n3_a_fce_0102_2001_03__1_6_3_2_2 n3_a_fce_0102_2001_03__1_6_3_2_1->n3_a_fce_0102_2001_03__1_6_3_2_1_1 n3_a_fce_0102_2001_03__1_6_3_2_2->n3_a_fce_0102_2001_03__1_6_3_2_2_1 n3_a_fce_0102_2001_03__1_7->n3_a_fce_0102_2001_03__1_7_1 
( (IP-MAT (NP-NIM (ADJP (ADJ Next;{next}))
                  (N month;{month}))
          (PUNC ,)
          (NP-SBJ;{PETE} (NPR Pete;{Pete})
                         (PUNC ,)
                         (IP-PPL (NP-PRD (D an;{an})
                                         (ADJP (ADJ English;{english}))
                                         (N friend;{friend})
                                         (IP-REL (NP-SBJ (RPRO who;{who}))
                                                 (VBP;_Ipr_ lives;{live[in]})
                                                 (PP-CLR (P-ROLE in;{in})
                                                         (NP (NPR London;{London})))))))
          (PUNC ,)
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_Ipr_ be;{be[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (N holiday;{holiday})
                                  (PP (P-ROLE in;{in})
                                      (NP (NPR New;{New})
                                          (NPR York;{York})))))
                      (PP-NIM (P-ROLE for;{for})
                              (NP (NUM two;{two})
                                  (NS weeks;{week}))))
          (PUNC .))
  (ID 3_a_fce_0102_2001_03))