3_a_fce_0102_2000_12
You recently spent two days at an annual international arts festival.
( (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))
arc(r_0003_0003__spent,r_0003_0001__You,arg0).
arc(r_0003_0003__spent,r_0003_0002__recently,nim).
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__nim).
arc(r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival,r_0003_0008__annual,attrib).
arc(r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival,r_0003_0009__international,attrib).
fof(formula,axiom,
? [R_0003_0001__YOU,R_0003_0002__RECENTLY,R_0003_0004__TWO_R_0003_0005__DAYS,R_0003_0008__ANNUAL,R_0003_0009__INTERNATIONAL,R_0003_0007__AN_R_0003_0010__ARTS_R_0003_0011__FESTIVAL,R_0003_0003__SPENT] :
( r_0003_0001__You(R_0003_0001__YOU)
& r_0003_0002__recently(R_0003_0002__RECENTLY)
& r_0003_0004__two_r_0003_0005__days(R_0003_0004__TWO_R_0003_0005__DAYS)
& r_0003_0008__annual(R_0003_0008__ANNUAL)
& r_0003_0009__international(R_0003_0009__INTERNATIONAL)
& r_0003_0003__spent(R_0003_0003__SPENT)
& has_r_0003_0006__at__nim(R_0003_0003__SPENT,R_0003_0007__AN_R_0003_0010__ARTS_R_0003_0011__FESTIVAL)
& r_0003_0007__an_r_0003_0010__arts_r_0003_0011__festival(R_0003_0007__AN_R_0003_0010__ARTS_R_0003_0011__FESTIVAL)
& has_attrib(R_0003_0007__AN_R_0003_0010__ARTS_R_0003_0011__FESTIVAL,R_0003_0009__INTERNATIONAL)
& has_attrib(R_0003_0007__AN_R_0003_0010__ARTS_R_0003_0011__FESTIVAL,R_0003_0008__ANNUAL)
& has_arg1(R_0003_0003__SPENT,R_0003_0004__TWO_R_0003_0005__DAYS)
& has_nim(R_0003_0003__SPENT,R_0003_0002__RECENTLY)
& has_arg0(R_0003_0003__SPENT,R_0003_0001__YOU) ) ).