7_a_fce_0101_2001_06
DISAPPOINTING ACTIVITIES WEEKEND AT LOCAL COLLEGE
( (NP (ADJP (ADJ DISAPPOINTING;{disappointing}))
(NS ACTIVITIES;{activity})
(N WEEKEND;{weekend})
(PP (P-ROLE AT;{at})
(NP (ADJP (ADJ LOCAL;{local}))
(N COLLEGE;{college}))))
(ID 7_a_fce_0101_2001_06))
arc(r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND,r_0007_0001__DISAPPOINTING,attrib).
arc(r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND,r_0007_0006__COLLEGE,r_0007_0004__AT).
arc(r_0007_0006__COLLEGE,r_0007_0005__LOCAL,attrib).
arc(z_0007_5007,r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND,z_0007_5002).
fof(formula,axiom,
? [R_0007_0001__DISAPPOINTING,R_0007_0005__LOCAL,R_0007_0006__COLLEGE,R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND,Z_0007_5007] :
( r_0007_0001__DISAPPOINTING(R_0007_0001__DISAPPOINTING)
& r_0007_0005__LOCAL(R_0007_0005__LOCAL)
& z_0007_5007(Z_0007_5007)
& has_z_0007_5002(Z_0007_5007,R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND)
& r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND(R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND)
& has_r_0007_0004__AT(R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND,R_0007_0006__COLLEGE)
& r_0007_0006__COLLEGE(R_0007_0006__COLLEGE)
& has_attrib(R_0007_0006__COLLEGE,R_0007_0005__LOCAL)
& has_attrib(R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND,R_0007_0001__DISAPPOINTING) ) ).