3_a_fce_0102_2000_12
You recently spent two days at an annual international arts festival.

%3 r_0003_0003__spent spent r_0003_0001__You You r_0003_0003__spent->r_0003_0001__You [arg0] r_0003_0002__recently recently r_0003_0003__spent->r_0003_0002__recently [nim] r_0003_0004__two_r_0003_0005__days two days r_0003_0003__spent->r_0003_0004__two_r_0003_0005__days [arg1] r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival an arts festival r_0003_0003__spent->r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival at [nim] r_0003_0008__annual annual r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival->r_0003_0008__annual [attrib] r_0003_0009__international international r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival->r_0003_0009__international [attrib]
arc(r_0003_0003__spent, r_0003_0001__You, arg0).
arc(r_0003_0003__spent, r_0003_0002__recently, nim5).
arc(r_0003_0003__spent, r_0003_0004__two_r_0003_0005__days, arg1).
arc(r_0003_0003__spent, r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival, r_0003_0006__at_nim18).
arc(r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival, r_0003_0008__annual, attrib21).
arc(r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival, r_0003_0009__international, attrib24).



%3 r_0003_0003__spent spent r_0003_0001__You You r_0003_0003__spent->r_0003_0001__You [arg0] r_0003_0002__recently recently r_0003_0003__spent->r_0003_0002__recently [nim] r_0003_0004__two_r_0003_0005__days two days r_0003_0003__spent->r_0003_0004__two_r_0003_0005__days [arg1] r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival an arts festival r_0003_0003__spent->r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival at [nim] r_0003_0008__annual annual r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival->r_0003_0008__annual [attrib] r_0003_0009__international international r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival->r_0003_0009__international [attrib]
fof(formula,axiom,
    ? [R_3_3_SPENT,R_3_1_YOU,R_3_4_TWO_DAYS,R_3_2_RECENTLY,R_3_7_AN_ARTS_FESTIVAL,R_3_8_ANNUAL,R_3_9_INTERNATIONAL] :
      ( you(R_3_1_YOU)
      & two_days(R_3_4_TWO_DAYS)
      & recently(R_3_2_RECENTLY)
      & annual(R_3_8_ANNUAL)
      & international(R_3_9_INTERNATIONAL)
      & spent(R_3_3_SPENT,R_3_1_YOU,R_3_4_TWO_DAYS)
      & nim5(R_3_3_SPENT,R_3_2_RECENTLY)
      & at_nim18(R_3_3_SPENT,R_3_7_AN_ARTS_FESTIVAL)
      & an_arts_festival(R_3_7_AN_ARTS_FESTIVAL)
      & attrib21(R_3_7_AN_ARTS_FESTIVAL,R_3_8_ANNUAL)
      & attrib24(R_3_7_AN_ARTS_FESTIVAL,R_3_9_INTERNATIONAL) ) ).



n3_a_fce_0102_2000_12 n3_a_fce_0102_2000_12_4 You n3_a_fce_0102_2000_12_7 recently n3_a_fce_0102_2000_12_9 spent n3_a_fce_0102_2000_12_12 two n3_a_fce_0102_2000_12_14 days n3_a_fce_0102_2000_12_17 at n3_a_fce_0102_2000_12_20 an n3_a_fce_0102_2000_12_23 annual n3_a_fce_0102_2000_12_26 international n3_a_fce_0102_2000_12_28 arts n3_a_fce_0102_2000_12_30 festival n3_a_fce_0102_2000_12_32 . n3_a_fce_0102_2000_12_1 IP-MAT n3_a_fce_0102_2000_12_2 NP-SBJ n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_2 n3_a_fce_0102_2000_12_5 ADVP-NIM n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_5 n3_a_fce_0102_2000_12_8 VBD;_Tn.pr_ n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_8 n3_a_fce_0102_2000_12_10 NP-OB1 n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_10 n3_a_fce_0102_2000_12_15 PP-NIM n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_15 n3_a_fce_0102_2000_12_31 PUNC n3_a_fce_0102_2000_12_1->n3_a_fce_0102_2000_12_31 n3_a_fce_0102_2000_12_3 PRO n3_a_fce_0102_2000_12_2->n3_a_fce_0102_2000_12_3 n3_a_fce_0102_2000_12_3->n3_a_fce_0102_2000_12_4 n3_a_fce_0102_2000_12_6 ADV n3_a_fce_0102_2000_12_5->n3_a_fce_0102_2000_12_6 n3_a_fce_0102_2000_12_6->n3_a_fce_0102_2000_12_7 n3_a_fce_0102_2000_12_8->n3_a_fce_0102_2000_12_9 n3_a_fce_0102_2000_12_11 NUM n3_a_fce_0102_2000_12_10->n3_a_fce_0102_2000_12_11 n3_a_fce_0102_2000_12_13 NS n3_a_fce_0102_2000_12_10->n3_a_fce_0102_2000_12_13 n3_a_fce_0102_2000_12_11->n3_a_fce_0102_2000_12_12 n3_a_fce_0102_2000_12_13->n3_a_fce_0102_2000_12_14 n3_a_fce_0102_2000_12_16 P-ROLE n3_a_fce_0102_2000_12_15->n3_a_fce_0102_2000_12_16 n3_a_fce_0102_2000_12_18 NP n3_a_fce_0102_2000_12_15->n3_a_fce_0102_2000_12_18 n3_a_fce_0102_2000_12_16->n3_a_fce_0102_2000_12_17 n3_a_fce_0102_2000_12_19 D n3_a_fce_0102_2000_12_18->n3_a_fce_0102_2000_12_19 n3_a_fce_0102_2000_12_21 ADJP n3_a_fce_0102_2000_12_18->n3_a_fce_0102_2000_12_21 n3_a_fce_0102_2000_12_24 ADJP n3_a_fce_0102_2000_12_18->n3_a_fce_0102_2000_12_24 n3_a_fce_0102_2000_12_27 NS n3_a_fce_0102_2000_12_18->n3_a_fce_0102_2000_12_27 n3_a_fce_0102_2000_12_29 N n3_a_fce_0102_2000_12_18->n3_a_fce_0102_2000_12_29 n3_a_fce_0102_2000_12_19->n3_a_fce_0102_2000_12_20 n3_a_fce_0102_2000_12_22 ADJ n3_a_fce_0102_2000_12_21->n3_a_fce_0102_2000_12_22 n3_a_fce_0102_2000_12_22->n3_a_fce_0102_2000_12_23 n3_a_fce_0102_2000_12_25 ADJ n3_a_fce_0102_2000_12_24->n3_a_fce_0102_2000_12_25 n3_a_fce_0102_2000_12_25->n3_a_fce_0102_2000_12_26 n3_a_fce_0102_2000_12_27->n3_a_fce_0102_2000_12_28 n3_a_fce_0102_2000_12_29->n3_a_fce_0102_2000_12_30 n3_a_fce_0102_2000_12_31->n3_a_fce_0102_2000_12_32
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (ADVP-NIM (ADV recently;{recently}))
          (VBD;_Tn.pr_ spent;{spend})
          (NP-OB1 (NUM two;{two})
                  (NS days;{day}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (D an;{an})
                      (ADJP (ADJ annual;{annual}))
                      (ADJP (ADJ international;{international}))
                      (NS arts;{art})
                      (N festival;{festival})))
          (PUNC .))
  (ID 3_a_fce_0102_2000_12))