3_a_fce_0102_2000_12
You recently spent two days at an annual international arts festival.
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).
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) ) ).
( (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))