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,
? [Z_7_A_FCE_101_2001_6_1,R_7_2_ACTIVITIES_WEEKEND,R_7_1_DISAPPOINTING,R_7_6_COLLEGE,R_7_5_LOCAL] :
( dISAPPOINTING(R_7_1_DISAPPOINTING)
& lOCAL(R_7_5_LOCAL)
& z_7_a_fce_101_2001_6_1(Z_7_A_FCE_101_2001_6_1)
& nim2(Z_7_A_FCE_101_2001_6_1,R_7_2_ACTIVITIES_WEEKEND)
& aCTIVITIES_WEEKEND(R_7_2_ACTIVITIES_WEEKEND)
& attrib3(R_7_2_ACTIVITIES_WEEKEND,R_7_1_DISAPPOINTING)
& aT(R_7_2_ACTIVITIES_WEEKEND,R_7_6_COLLEGE)
& cOLLEGE(R_7_6_COLLEGE)
& attrib14(R_7_6_COLLEGE,R_7_5_LOCAL) ) ).
( (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))