7_a_fce_0101_2001_06
DISAPPOINTING ACTIVITIES WEEKEND AT LOCAL COLLEGE
arc(r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND, r_0007_0001__DISAPPOINTING, attrib3).
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, attrib14).
arc(z_000_7_a_fce_0101_2001_06_1, r_0007_0002__ACTIVITIES_r_0007_0003__WEEKEND, nim2).
fof(formula,axiom,
? [R_0007_0001__DISAPPOINTING,R_0007_0005__LOCAL,R_0007_0006__COLLEGE,R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND,Z_000_7_A_FCE_0101_2001_06_1] :
( r_0007_0001__DISAPPOINTING(R_0007_0001__DISAPPOINTING)
& r_0007_0005__LOCAL(R_0007_0005__LOCAL)
& z_000_7_a_fce_0101_2001_06_1(Z_000_7_A_FCE_0101_2001_06_1)
& has_nim2(Z_000_7_A_FCE_0101_2001_06_1,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_attrib14(R_0007_0006__COLLEGE,R_0007_0005__LOCAL)
& has_attrib3(R_0007_0002__ACTIVITIES_R_0007_0003__WEEKEND,R_0007_0001__DISAPPOINTING) ) ).
( (FRAG (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))