Context                Previous, Next                Top


8_a_fce_0101_2001_06
Whitestone College has just held its first activities weekend.

%3 r_0008_0003__has has r_0008_0005__held held r_0008_0003__has->r_0008_0005__held [scope] r_0008_0001__Whitestone_r_0008_0002__College Whitestone College r_0008_0005__held->r_0008_0001__Whitestone_r_0008_0002__College [arg0] r_0008_0004__just just r_0008_0005__held->r_0008_0004__just [nim] r_0008_0008__activities_r_0008_0009__weekend activities weekend r_0008_0005__held->r_0008_0008__activities_r_0008_0009__weekend [arg1] r_0008_0008__activities_r_0008_0009__weekend->r_0008_0001__Whitestone_r_0008_0002__College [gen] r_0008_0007__first first r_0008_0008__activities_r_0008_0009__weekend->r_0008_0007__first [attrib] 
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, nim10).
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, attrib19).


%3 r_0008_0003__has_r_0008_0005__held has held r_0008_0001__Whitestone_r_0008_0002__College Whitestone College r_0008_0003__has_r_0008_0005__held->r_0008_0001__Whitestone_r_0008_0002__College [arg0] r_0008_0004__just just r_0008_0003__has_r_0008_0005__held->r_0008_0004__just [nim] r_0008_0008__activities_r_0008_0009__weekend activities weekend r_0008_0003__has_r_0008_0005__held->r_0008_0008__activities_r_0008_0009__weekend [arg1] r_0008_0008__activities_r_0008_0009__weekend->r_0008_0001__Whitestone_r_0008_0002__College [gen] r_0008_0007__first first r_0008_0008__activities_r_0008_0009__weekend->r_0008_0007__first [attrib] 
fof(formula,axiom,
    ? [R_8_3_HAS_HELD,R_8_8_ACTIVITIES_WEEKEND,R_8_7_FIRST,R_8_1_WHITESTONE_COLLEGE,R_8_4_JUST] :
      ( first(R_8_7_FIRST)
      & whitestone_College(R_8_1_WHITESTONE_COLLEGE)
      & just(R_8_4_JUST)
      & has_held(R_8_3_HAS_HELD,R_8_1_WHITESTONE_COLLEGE,R_8_8_ACTIVITIES_WEEKEND)
      & activities_weekend(R_8_8_ACTIVITIES_WEEKEND)
      & attrib19(R_8_8_ACTIVITIES_WEEKEND,R_8_7_FIRST)
      & gen(R_8_8_ACTIVITIES_WEEKEND,R_8_1_WHITESTONE_COLLEGE)
      & nim10(R_8_3_HAS_HELD,R_8_4_JUST) ) ).


n8_a_fce_0101_2001_06 n8_a_fce_0101_2001_06_4 Whitestone n8_a_fce_0101_2001_06_6 College n8_a_fce_0101_2001_06_8 has n8_a_fce_0101_2001_06_12 just n8_a_fce_0101_2001_06_14 held n8_a_fce_0101_2001_06_18 its n8_a_fce_0101_2001_06_21 first n8_a_fce_0101_2001_06_23 activities n8_a_fce_0101_2001_06_25 weekend n8_a_fce_0101_2001_06_27 . n8_a_fce_0101_2001_06_1 IP-MAT n8_a_fce_0101_2001_06_2 NP-SBJ n8_a_fce_0101_2001_06_1->n8_a_fce_0101_2001_06_2 n8_a_fce_0101_2001_06_7 HVP;_cat_Ve_ n8_a_fce_0101_2001_06_1->n8_a_fce_0101_2001_06_7 n8_a_fce_0101_2001_06_9 IP-PPL-CAT n8_a_fce_0101_2001_06_1->n8_a_fce_0101_2001_06_9 n8_a_fce_0101_2001_06_26 PUNC n8_a_fce_0101_2001_06_1->n8_a_fce_0101_2001_06_26 n8_a_fce_0101_2001_06_3 NPR n8_a_fce_0101_2001_06_2->n8_a_fce_0101_2001_06_3 n8_a_fce_0101_2001_06_5 NPR n8_a_fce_0101_2001_06_2->n8_a_fce_0101_2001_06_5 n8_a_fce_0101_2001_06_3->n8_a_fce_0101_2001_06_4 n8_a_fce_0101_2001_06_5->n8_a_fce_0101_2001_06_6 n8_a_fce_0101_2001_06_7->n8_a_fce_0101_2001_06_8 n8_a_fce_0101_2001_06_10 ADVP-NIM n8_a_fce_0101_2001_06_9->n8_a_fce_0101_2001_06_10 n8_a_fce_0101_2001_06_13 VVN;_Tn_ n8_a_fce_0101_2001_06_9->n8_a_fce_0101_2001_06_13 n8_a_fce_0101_2001_06_15 NP-OB1 n8_a_fce_0101_2001_06_9->n8_a_fce_0101_2001_06_15 n8_a_fce_0101_2001_06_11 ADV n8_a_fce_0101_2001_06_10->n8_a_fce_0101_2001_06_11 n8_a_fce_0101_2001_06_11->n8_a_fce_0101_2001_06_12 n8_a_fce_0101_2001_06_13->n8_a_fce_0101_2001_06_14 n8_a_fce_0101_2001_06_16 NP-GEN n8_a_fce_0101_2001_06_15->n8_a_fce_0101_2001_06_16 n8_a_fce_0101_2001_06_19 ADJP n8_a_fce_0101_2001_06_15->n8_a_fce_0101_2001_06_19 n8_a_fce_0101_2001_06_22 NS n8_a_fce_0101_2001_06_15->n8_a_fce_0101_2001_06_22 n8_a_fce_0101_2001_06_24 N n8_a_fce_0101_2001_06_15->n8_a_fce_0101_2001_06_24 n8_a_fce_0101_2001_06_17 PRO;_genm_ n8_a_fce_0101_2001_06_16->n8_a_fce_0101_2001_06_17 n8_a_fce_0101_2001_06_17->n8_a_fce_0101_2001_06_18 n8_a_fce_0101_2001_06_20 ADJ n8_a_fce_0101_2001_06_19->n8_a_fce_0101_2001_06_20 n8_a_fce_0101_2001_06_20->n8_a_fce_0101_2001_06_21 n8_a_fce_0101_2001_06_22->n8_a_fce_0101_2001_06_23 n8_a_fce_0101_2001_06_24->n8_a_fce_0101_2001_06_25 n8_a_fce_0101_2001_06_26->n8_a_fce_0101_2001_06_27 
( (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))