8_a_fce_0101_2001_06
Whitestone College has just held its first activities weekend.
( (IP-MAT (NP-SBJ;{WHITESTONE} (NPR Whitestone;{Whitestone})
(NPR College;{College}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
(VVN;_Tn_ held;{hold})
(NP-OB1 (NP-GEN;{WHITESTONE} (PRO;_genm_ its;{its}))
(ADJP (ADJ first;{first}))
(NS activities;{activity})
(N weekend;{weekend})))
(PUNC .))
(ID 8_a_fce_0101_2001_06))
arc(r_0008_0003__has,r_0008_0005__held,scope).
arc(r_0008_0005__held,r_0008_0001__Whitestone_r_0008_0002__College,arg0).
arc(r_0008_0005__held,r_0008_0004__just,nim).
arc(r_0008_0005__held,r_0008_0008__activities_r_0008_0009__weekend,arg1).
arc(r_0008_0008__activities_r_0008_0009__weekend,r_0008_0001__Whitestone_r_0008_0002__College,gen).
arc(r_0008_0008__activities_r_0008_0009__weekend,r_0008_0007__first,attrib).
fof(formula,axiom,
? [R_0008_0001__WHITESTONE_R_0008_0002__COLLEGE,R_0008_0004__JUST,R_0008_0007__FIRST,R_0008_0008__ACTIVITIES_R_0008_0009__WEEKEND,R_0008_0003__HAS_R_0008_0005__HELD] :
( r_0008_0001__Whitestone_r_0008_0002__College(R_0008_0001__WHITESTONE_R_0008_0002__COLLEGE)
& r_0008_0004__just(R_0008_0004__JUST)
& r_0008_0007__first(R_0008_0007__FIRST)
& r_0008_0003__has_r_0008_0005__held(R_0008_0003__HAS_R_0008_0005__HELD)
& has_arg1(R_0008_0003__HAS_R_0008_0005__HELD,R_0008_0008__ACTIVITIES_R_0008_0009__WEEKEND)
& r_0008_0008__activities_r_0008_0009__weekend(R_0008_0008__ACTIVITIES_R_0008_0009__WEEKEND)
& has_attrib(R_0008_0008__ACTIVITIES_R_0008_0009__WEEKEND,R_0008_0007__FIRST)
& has_gen(R_0008_0008__ACTIVITIES_R_0008_0009__WEEKEND,R_0008_0001__WHITESTONE_R_0008_0002__COLLEGE)
& has_nim(R_0008_0003__HAS_R_0008_0005__HELD,R_0008_0004__JUST)
& has_arg0(R_0008_0003__HAS_R_0008_0005__HELD,R_0008_0001__WHITESTONE_R_0008_0002__COLLEGE) ) ).