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.
( (IP-MAT (NP-NIM (ADJP (ADJ Next;{next}))
(N month;{month}))
(PUNC ,)
(NP-SBJ;{PETE} (NPR Pete;{Pete})
(PUNC ,)
(PRN (NP (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))
arc(r_0003_0002__month,r_0003_0001__Next,attrib).
arc(r_0003_0006__an_r_0003_0008__friend,r_0003_0007__English,attrib).
arc(r_0003_0010__lives_r_0003_0011__in,r_0003_0006__an_r_0003_0008__friend,arg0).
arc(r_0003_0010__lives_r_0003_0011__in,r_0003_0012__London,arg1).
arc(r_0003_0014__will,r_0003_0002__month,nim).
arc(r_0003_0014__will,r_0003_0015__be_r_0003_0016__on,scope).
arc(r_0003_0015__be_r_0003_0016__on,r_0003_0004__Pete,arg0).
arc(r_0003_0015__be_r_0003_0016__on,r_0003_0017__holiday,arg1).
arc(r_0003_0015__be_r_0003_0016__on,r_0003_0022__two_r_0003_0023__weeks,r_0003_0021__for__nim).
arc(r_0003_0017__holiday,r_0003_0019__New_r_0003_0020__York,r_0003_0018__in).
arc(z_0003_5006,r_0003_0004__Pete,arg0).
arc(z_0003_5006,r_0003_0006__an_r_0003_0008__friend,prd).
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_0011__IN,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_R_0003_0016__ON,Z_0003_5006] :
( 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_0003_5006(Z_0003_5006)
& has_prd(Z_0003_5006,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_attrib(R_0003_0006__AN_R_0003_0008__FRIEND,R_0003_0007__ENGLISH)
& has_arg0(Z_0003_5006,R_0003_0004__PETE)
& r_0003_0014__will_r_0003_0015__be_r_0003_0016__on(R_0003_0014__WILL_R_0003_0015__BE_R_0003_0016__ON)
& has_r_0003_0021__for__nim(R_0003_0014__WILL_R_0003_0015__BE_R_0003_0016__ON,R_0003_0022__TWO_R_0003_0023__WEEKS)
& has_arg1(R_0003_0014__WILL_R_0003_0015__BE_R_0003_0016__ON,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_0016__ON,R_0003_0004__PETE)
& has_nim(R_0003_0014__WILL_R_0003_0015__BE_R_0003_0016__ON,R_0003_0002__MONTH)
& r_0003_0002__month(R_0003_0002__MONTH)
& has_attrib(R_0003_0002__MONTH,R_0003_0001__NEXT)
& r_0003_0010__lives_r_0003_0011__in(R_0003_0010__LIVES_R_0003_0011__IN)
& has_arg1(R_0003_0010__LIVES_R_0003_0011__IN,R_0003_0012__LONDON)
& has_arg0(R_0003_0010__LIVES_R_0003_0011__IN,R_0003_0006__AN_R_0003_0008__FRIEND) ) ).