3_a_fce_0102_2000_06
You recently had a week's holiday in London.
( (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))
arc(r_0003_0003__had,r_0003_0001__You,arg0).
arc(r_0003_0003__had,r_0003_0002__recently,nim).
arc(r_0003_0003__had,r_0003_0007__holiday,arg1).
arc(r_0003_0007__holiday,r_0003_0004__a_r_0003_0005__week,gen).
arc(r_0003_0007__holiday,r_0003_0009__London,r_0003_0008__in).
fof(formula,axiom,
? [R_0003_0001__YOU,R_0003_0002__RECENTLY,R_0003_0004__A_R_0003_0005__WEEK,R_0003_0009__LONDON,R_0003_0007__HOLIDAY,R_0003_0003__HAD] :
( r_0003_0001__You(R_0003_0001__YOU)
& r_0003_0002__recently(R_0003_0002__RECENTLY)
& r_0003_0004__a_r_0003_0005__week(R_0003_0004__A_R_0003_0005__WEEK)
& r_0003_0009__London(R_0003_0009__LONDON)
& r_0003_0003__had(R_0003_0003__HAD)
& has_arg1(R_0003_0003__HAD,R_0003_0007__HOLIDAY)
& r_0003_0007__holiday(R_0003_0007__HOLIDAY)
& has_r_0003_0008__in(R_0003_0007__HOLIDAY,R_0003_0009__LONDON)
& has_gen(R_0003_0007__HOLIDAY,R_0003_0004__A_R_0003_0005__WEEK)
& has_nim(R_0003_0003__HAD,R_0003_0002__RECENTLY)
& has_arg0(R_0003_0003__HAD,R_0003_0001__YOU) ) ).