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 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_r_0003_0015__be will be r_0003_0014__will_r_0003_0015__be->r_0003_0002__month [nim] r_0003_0004__Pete Pete r_0003_0014__will_r_0003_0015__be->r_0003_0004__Pete [arg0] r_0003_0017__holiday holiday 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_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] 
fof(formula,axiom,
    ? [R_3_10_LIVES,R_3_12_LONDON,R_3_14_WILL_BE,R_3_2_MONTH,R_3_1_NEXT,R_3_17_HOLIDAY,R_3_19_NEW_YORK,R_3_22_TWO_WEEKS,Z_3_A_FCE_102_2001_3_15,R_3_4_PETE,R_3_6_AN_FRIEND,R_3_7_ENGLISH] :
      ( london(R_3_12_LONDON)
      & next(R_3_1_NEXT)
      & new_York(R_3_19_NEW_YORK)
      & two_weeks(R_3_22_TWO_WEEKS)
      & pete(R_3_4_PETE)
      & english(R_3_7_ENGLISH)
      & lives(R_3_10_LIVES,R_3_6_AN_FRIEND)
      & an_friend(R_3_6_AN_FRIEND)
      & attrib19(R_3_6_AN_FRIEND,R_3_7_ENGLISH)
      & in_clr33(R_3_10_LIVES,R_3_12_LONDON)
      & will_be(R_3_14_WILL_BE,R_3_4_PETE)
      & nim2(R_3_14_WILL_BE,R_3_2_MONTH)
      & month(R_3_2_MONTH)
      & attrib3(R_3_2_MONTH,R_3_1_NEXT)
      & on_clr46(R_3_14_WILL_BE,R_3_17_HOLIDAY)
      & holiday(R_3_17_HOLIDAY)
      & in(R_3_17_HOLIDAY,R_3_19_NEW_YORK)
      & for_nim60(R_3_14_WILL_BE,R_3_22_TWO_WEEKS)
      & z_3_a_fce_102_2001_3_15(Z_3_A_FCE_102_2001_3_15,R_3_4_PETE,R_3_6_AN_FRIEND) ) ).


n3_a_fce_0102_2001_03 n3_a_fce_0102_2001_03_5 Next n3_a_fce_0102_2001_03_7 month n3_a_fce_0102_2001_03_9 , n3_a_fce_0102_2001_03_12 Pete n3_a_fce_0102_2001_03_14 , n3_a_fce_0102_2001_03_18 an n3_a_fce_0102_2001_03_21 English n3_a_fce_0102_2001_03_23 friend n3_a_fce_0102_2001_03_27 who n3_a_fce_0102_2001_03_29 lives n3_a_fce_0102_2001_03_32 in n3_a_fce_0102_2001_03_35 London n3_a_fce_0102_2001_03_37 , n3_a_fce_0102_2001_03_39 will n3_a_fce_0102_2001_03_42 be n3_a_fce_0102_2001_03_45 on n3_a_fce_0102_2001_03_48 holiday n3_a_fce_0102_2001_03_51 in n3_a_fce_0102_2001_03_54 New n3_a_fce_0102_2001_03_56 York n3_a_fce_0102_2001_03_59 for n3_a_fce_0102_2001_03_62 two n3_a_fce_0102_2001_03_64 weeks n3_a_fce_0102_2001_03_66 . n3_a_fce_0102_2001_03_1 IP-MAT n3_a_fce_0102_2001_03_2 NP-NIM n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_2 n3_a_fce_0102_2001_03_8 PUNC n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_8 n3_a_fce_0102_2001_03_10 NP-SBJ n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_10 n3_a_fce_0102_2001_03_36 PUNC n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_36 n3_a_fce_0102_2001_03_38 MD;_cat_Vi_ n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_38 n3_a_fce_0102_2001_03_40 IP-INF-CAT n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_40 n3_a_fce_0102_2001_03_65 PUNC n3_a_fce_0102_2001_03_1->n3_a_fce_0102_2001_03_65 n3_a_fce_0102_2001_03_3 ADJP n3_a_fce_0102_2001_03_2->n3_a_fce_0102_2001_03_3 n3_a_fce_0102_2001_03_6 N n3_a_fce_0102_2001_03_2->n3_a_fce_0102_2001_03_6 n3_a_fce_0102_2001_03_4 ADJ n3_a_fce_0102_2001_03_3->n3_a_fce_0102_2001_03_4 n3_a_fce_0102_2001_03_4->n3_a_fce_0102_2001_03_5 n3_a_fce_0102_2001_03_6->n3_a_fce_0102_2001_03_7 n3_a_fce_0102_2001_03_8->n3_a_fce_0102_2001_03_9 n3_a_fce_0102_2001_03_11 NPR n3_a_fce_0102_2001_03_10->n3_a_fce_0102_2001_03_11 n3_a_fce_0102_2001_03_13 PUNC n3_a_fce_0102_2001_03_10->n3_a_fce_0102_2001_03_13 n3_a_fce_0102_2001_03_15 IP-PPL n3_a_fce_0102_2001_03_10->n3_a_fce_0102_2001_03_15 n3_a_fce_0102_2001_03_11->n3_a_fce_0102_2001_03_12 n3_a_fce_0102_2001_03_13->n3_a_fce_0102_2001_03_14 n3_a_fce_0102_2001_03_16 NP-PRD n3_a_fce_0102_2001_03_15->n3_a_fce_0102_2001_03_16 n3_a_fce_0102_2001_03_17 D n3_a_fce_0102_2001_03_16->n3_a_fce_0102_2001_03_17 n3_a_fce_0102_2001_03_19 ADJP n3_a_fce_0102_2001_03_16->n3_a_fce_0102_2001_03_19 n3_a_fce_0102_2001_03_22 N n3_a_fce_0102_2001_03_16->n3_a_fce_0102_2001_03_22 n3_a_fce_0102_2001_03_24 IP-REL n3_a_fce_0102_2001_03_16->n3_a_fce_0102_2001_03_24 n3_a_fce_0102_2001_03_17->n3_a_fce_0102_2001_03_18 n3_a_fce_0102_2001_03_20 ADJ n3_a_fce_0102_2001_03_19->n3_a_fce_0102_2001_03_20 n3_a_fce_0102_2001_03_20->n3_a_fce_0102_2001_03_21 n3_a_fce_0102_2001_03_22->n3_a_fce_0102_2001_03_23 n3_a_fce_0102_2001_03_25 NP-SBJ n3_a_fce_0102_2001_03_24->n3_a_fce_0102_2001_03_25 n3_a_fce_0102_2001_03_28 VBP;_Ipr_ n3_a_fce_0102_2001_03_24->n3_a_fce_0102_2001_03_28 n3_a_fce_0102_2001_03_30 PP-CLR n3_a_fce_0102_2001_03_24->n3_a_fce_0102_2001_03_30 n3_a_fce_0102_2001_03_26 RPRO n3_a_fce_0102_2001_03_25->n3_a_fce_0102_2001_03_26 n3_a_fce_0102_2001_03_26->n3_a_fce_0102_2001_03_27 n3_a_fce_0102_2001_03_28->n3_a_fce_0102_2001_03_29 n3_a_fce_0102_2001_03_31 P-ROLE n3_a_fce_0102_2001_03_30->n3_a_fce_0102_2001_03_31 n3_a_fce_0102_2001_03_33 NP n3_a_fce_0102_2001_03_30->n3_a_fce_0102_2001_03_33 n3_a_fce_0102_2001_03_31->n3_a_fce_0102_2001_03_32 n3_a_fce_0102_2001_03_34 NPR n3_a_fce_0102_2001_03_33->n3_a_fce_0102_2001_03_34 n3_a_fce_0102_2001_03_34->n3_a_fce_0102_2001_03_35 n3_a_fce_0102_2001_03_36->n3_a_fce_0102_2001_03_37 n3_a_fce_0102_2001_03_38->n3_a_fce_0102_2001_03_39 n3_a_fce_0102_2001_03_41 BE;_Ipr_ n3_a_fce_0102_2001_03_40->n3_a_fce_0102_2001_03_41 n3_a_fce_0102_2001_03_43 PP-CLR n3_a_fce_0102_2001_03_40->n3_a_fce_0102_2001_03_43 n3_a_fce_0102_2001_03_57 PP-NIM n3_a_fce_0102_2001_03_40->n3_a_fce_0102_2001_03_57 n3_a_fce_0102_2001_03_41->n3_a_fce_0102_2001_03_42 n3_a_fce_0102_2001_03_44 P-ROLE n3_a_fce_0102_2001_03_43->n3_a_fce_0102_2001_03_44 n3_a_fce_0102_2001_03_46 NP n3_a_fce_0102_2001_03_43->n3_a_fce_0102_2001_03_46 n3_a_fce_0102_2001_03_44->n3_a_fce_0102_2001_03_45 n3_a_fce_0102_2001_03_47 N n3_a_fce_0102_2001_03_46->n3_a_fce_0102_2001_03_47 n3_a_fce_0102_2001_03_49 PP n3_a_fce_0102_2001_03_46->n3_a_fce_0102_2001_03_49 n3_a_fce_0102_2001_03_47->n3_a_fce_0102_2001_03_48 n3_a_fce_0102_2001_03_50 P-ROLE n3_a_fce_0102_2001_03_49->n3_a_fce_0102_2001_03_50 n3_a_fce_0102_2001_03_52 NP n3_a_fce_0102_2001_03_49->n3_a_fce_0102_2001_03_52 n3_a_fce_0102_2001_03_50->n3_a_fce_0102_2001_03_51 n3_a_fce_0102_2001_03_53 NPR n3_a_fce_0102_2001_03_52->n3_a_fce_0102_2001_03_53 n3_a_fce_0102_2001_03_55 NPR n3_a_fce_0102_2001_03_52->n3_a_fce_0102_2001_03_55 n3_a_fce_0102_2001_03_53->n3_a_fce_0102_2001_03_54 n3_a_fce_0102_2001_03_55->n3_a_fce_0102_2001_03_56 n3_a_fce_0102_2001_03_58 P-ROLE n3_a_fce_0102_2001_03_57->n3_a_fce_0102_2001_03_58 n3_a_fce_0102_2001_03_60 NP n3_a_fce_0102_2001_03_57->n3_a_fce_0102_2001_03_60 n3_a_fce_0102_2001_03_58->n3_a_fce_0102_2001_03_59 n3_a_fce_0102_2001_03_61 NUM n3_a_fce_0102_2001_03_60->n3_a_fce_0102_2001_03_61 n3_a_fce_0102_2001_03_63 NS n3_a_fce_0102_2001_03_60->n3_a_fce_0102_2001_03_63 n3_a_fce_0102_2001_03_61->n3_a_fce_0102_2001_03_62 n3_a_fce_0102_2001_03_63->n3_a_fce_0102_2001_03_64 n3_a_fce_0102_2001_03_65->n3_a_fce_0102_2001_03_66 
( (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))