3_a_fce_0102_2000_06
You recently had a week's holiday in London.
arc(r_0003_0003__had, r_0003_0001__You, arg0).
arc(r_0003_0003__had, r_0003_0002__recently, nim5).
arc(r_0003_0003__had, r_0003_0007__holiday, arg1).
arc(r_0003_0007__holiday, r_0003_0004__a_r_0003_0005__week_r_0003_0006___apos_s, gen).
arc(r_0003_0007__holiday, r_0003_0009__London, r_0003_0008__in).
fof(formula,axiom,
? [R_3_3_HAD,R_3_1_YOU,R_3_7_HOLIDAY,R_3_4_A_WEEK_APOS_S,R_3_9_LONDON,R_3_2_RECENTLY] :
( you(R_3_1_YOU)
& a_week_apos_s(R_3_4_A_WEEK_APOS_S)
& london(R_3_9_LONDON)
& recently(R_3_2_RECENTLY)
& had(R_3_3_HAD,R_3_1_YOU,R_3_7_HOLIDAY)
& holiday(R_3_7_HOLIDAY)
& gen(R_3_7_HOLIDAY,R_3_4_A_WEEK_APOS_S)
& in(R_3_7_HOLIDAY,R_3_9_LONDON)
& nim5(R_3_3_HAD,R_3_2_RECENTLY) ) ).
( (IP-MAT (NP-SBJ (PRO You;{you}))
(ADVP-NIM (ADV recently;{recently}))
(HVD;_Tn_ had;{have})
(NP-OB1 (NP-GEN (D a;{a})
(N week;{week})
(GENM <apos>s))
(N holiday;{holiday})
(PP (P-ROLE in;{in})
(NP (NPR London;{London}))))
(PUNC .))
(ID 3_a_fce_0102_2000_06))