3_a_fce_0102_2000_06
You recently had a week's holiday in London.

n3_a_fce_0102_2000_06 n3_a_fce_0102_2000_06__1_1_1_1 You n3_a_fce_0102_2000_06__1_2_1_1 recently n3_a_fce_0102_2000_06__1_3_1 had n3_a_fce_0102_2000_06__1_4_1_1_1 a n3_a_fce_0102_2000_06__1_4_1_2_1 week n3_a_fce_0102_2000_06__1_4_1_3_1 's n3_a_fce_0102_2000_06__1_4_2_1 holiday n3_a_fce_0102_2000_06__1_4_3_1_1 in n3_a_fce_0102_2000_06__1_4_3_2_1_1 London n3_a_fce_0102_2000_06__1_5_1 . n3_a_fce_0102_2000_06__1 IP-MAT n3_a_fce_0102_2000_06__1_1 NP-SBJ n3_a_fce_0102_2000_06__1->n3_a_fce_0102_2000_06__1_1 n3_a_fce_0102_2000_06__1_2 ADVP-NIM n3_a_fce_0102_2000_06__1->n3_a_fce_0102_2000_06__1_2 n3_a_fce_0102_2000_06__1_3 HVD;_Tn_ n3_a_fce_0102_2000_06__1->n3_a_fce_0102_2000_06__1_3 n3_a_fce_0102_2000_06__1_4 NP-OB1 n3_a_fce_0102_2000_06__1->n3_a_fce_0102_2000_06__1_4 n3_a_fce_0102_2000_06__1_5 PUNC n3_a_fce_0102_2000_06__1->n3_a_fce_0102_2000_06__1_5 n3_a_fce_0102_2000_06__1_1_1 PRO n3_a_fce_0102_2000_06__1_1->n3_a_fce_0102_2000_06__1_1_1 n3_a_fce_0102_2000_06__1_1_1->n3_a_fce_0102_2000_06__1_1_1_1 n3_a_fce_0102_2000_06__1_2_1 ADV n3_a_fce_0102_2000_06__1_2->n3_a_fce_0102_2000_06__1_2_1 n3_a_fce_0102_2000_06__1_2_1->n3_a_fce_0102_2000_06__1_2_1_1 n3_a_fce_0102_2000_06__1_3->n3_a_fce_0102_2000_06__1_3_1 n3_a_fce_0102_2000_06__1_4_1 NP-GEN n3_a_fce_0102_2000_06__1_4->n3_a_fce_0102_2000_06__1_4_1 n3_a_fce_0102_2000_06__1_4_2 N n3_a_fce_0102_2000_06__1_4->n3_a_fce_0102_2000_06__1_4_2 n3_a_fce_0102_2000_06__1_4_3 PP n3_a_fce_0102_2000_06__1_4->n3_a_fce_0102_2000_06__1_4_3 n3_a_fce_0102_2000_06__1_4_1_1 D n3_a_fce_0102_2000_06__1_4_1->n3_a_fce_0102_2000_06__1_4_1_1 n3_a_fce_0102_2000_06__1_4_1_2 N n3_a_fce_0102_2000_06__1_4_1->n3_a_fce_0102_2000_06__1_4_1_2 n3_a_fce_0102_2000_06__1_4_1_3 GENM n3_a_fce_0102_2000_06__1_4_1->n3_a_fce_0102_2000_06__1_4_1_3 n3_a_fce_0102_2000_06__1_4_1_1->n3_a_fce_0102_2000_06__1_4_1_1_1 n3_a_fce_0102_2000_06__1_4_1_2->n3_a_fce_0102_2000_06__1_4_1_2_1 n3_a_fce_0102_2000_06__1_4_1_3->n3_a_fce_0102_2000_06__1_4_1_3_1 n3_a_fce_0102_2000_06__1_4_2->n3_a_fce_0102_2000_06__1_4_2_1 n3_a_fce_0102_2000_06__1_4_3_1 P-ROLE n3_a_fce_0102_2000_06__1_4_3->n3_a_fce_0102_2000_06__1_4_3_1 n3_a_fce_0102_2000_06__1_4_3_2 NP n3_a_fce_0102_2000_06__1_4_3->n3_a_fce_0102_2000_06__1_4_3_2 n3_a_fce_0102_2000_06__1_4_3_1->n3_a_fce_0102_2000_06__1_4_3_1_1 n3_a_fce_0102_2000_06__1_4_3_2_1 NPR n3_a_fce_0102_2000_06__1_4_3_2->n3_a_fce_0102_2000_06__1_4_3_2_1 n3_a_fce_0102_2000_06__1_4_3_2_1->n3_a_fce_0102_2000_06__1_4_3_2_1_1 n3_a_fce_0102_2000_06__1_5->n3_a_fce_0102_2000_06__1_5_1
( (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))



%3 r_0003_0007__holiday holiday r_0003_0009__London London r_0003_0007__holiday->r_0003_0009__London in r_0003_0004__a_r_0003_0005__week a week r_0003_0007__holiday->r_0003_0004__a_r_0003_0005__week [gen] r_0003_0003__had had r_0003_0003__had->r_0003_0007__holiday [arg1] r_0003_0002__recently recently r_0003_0003__had->r_0003_0002__recently [nim] r_0003_0001__You You r_0003_0003__had->r_0003_0001__You [arg0]
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).



%3 r_0003_0003__had had r_0003_0001__You You r_0003_0003__had->r_0003_0001__You [arg0] r_0003_0002__recently recently r_0003_0003__had->r_0003_0002__recently [nim] r_0003_0007__holiday holiday r_0003_0003__had->r_0003_0007__holiday [arg1] r_0003_0004__a_r_0003_0005__week a week r_0003_0007__holiday->r_0003_0004__a_r_0003_0005__week [gen] r_0003_0009__London London r_0003_0007__holiday->r_0003_0009__London 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) ) ).