TSPC 14_a_fce_0101_2001

14_a_fce_0101_2001_06
Whitestone College is planning to run another activities weekend at the same time next year.

( (IP-MAT (NP-SBJ;{WHITESTONE} (NPR Whitestone;{Whitestone})
                               (NPR College;{College}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_Tt_ planning;{plan})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ run;{run})
                                  (NP-OB1;{ACTIVITY_WEEKEND2} (D another;{another})
                                                              (NS activities;{activity})
                                                              (N weekend;{weekend}))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (ADJP (ADJ same;{same}))
                                              (N time;{time})))
                                  (NP-NIM (ADJP (ADJ next;{next}))
                                          (N year;{year}))))
          (PUNC .))
  (ID 14_a_fce_0101_2001_06))

arc(r_0014_0003__is,r_0014_0004__planning,scope).
arc(r_0014_0004__planning,r_0014_0001__Whitestone_r_0014_0002__College,arg0).
arc(r_0014_0004__planning,r_0014_0006__run,arg1).
arc(r_0014_0006__run,r_0014_0001__Whitestone_r_0014_0002__College,arg0).
arc(r_0014_0006__run,r_0014_0007__another_r_0014_0008__activities_r_0014_0009__weekend,arg1).
arc(r_0014_0006__run,r_0014_0011__the_r_0014_0013__time,r_0014_0010__at__nim).
arc(r_0014_0006__run,r_0014_0015__year,nim).
arc(r_0014_0011__the_r_0014_0013__time,r_0014_0012__same,attrib).
arc(r_0014_0015__year,r_0014_0014__next,attrib).

fof(formula,axiom,
    ? [R_0014_0001__WHITESTONE_R_0014_0002__COLLEGE,R_0014_0007__ANOTHER_R_0014_0008__ACTIVITIES_R_0014_0009__WEEKEND,R_0014_0012__SAME,R_0014_0011__THE_R_0014_0013__TIME,R_0014_0014__NEXT,R_0014_0015__YEAR,R_0014_0006__RUN,R_0014_0003__IS_R_0014_0004__PLANNING] :
      ( r_0014_0001__Whitestone_r_0014_0002__College(R_0014_0001__WHITESTONE_R_0014_0002__COLLEGE)
      & r_0014_0007__another_r_0014_0008__activities_r_0014_0009__weekend(R_0014_0007__ANOTHER_R_0014_0008__ACTIVITIES_R_0014_0009__WEEKEND)
      & r_0014_0012__same(R_0014_0012__SAME)
      & r_0014_0014__next(R_0014_0014__NEXT)
      & r_0014_0003__is_r_0014_0004__planning(R_0014_0003__IS_R_0014_0004__PLANNING)
      & has_arg1(R_0014_0003__IS_R_0014_0004__PLANNING,R_0014_0006__RUN)
      & r_0014_0006__run(R_0014_0006__RUN)
      & has_nim(R_0014_0006__RUN,R_0014_0015__YEAR)
      & r_0014_0015__year(R_0014_0015__YEAR)
      & has_attrib(R_0014_0015__YEAR,R_0014_0014__NEXT)
      & has_r_0014_0010__at__nim(R_0014_0006__RUN,R_0014_0011__THE_R_0014_0013__TIME)
      & r_0014_0011__the_r_0014_0013__time(R_0014_0011__THE_R_0014_0013__TIME)
      & has_attrib(R_0014_0011__THE_R_0014_0013__TIME,R_0014_0012__SAME)
      & has_arg1(R_0014_0006__RUN,R_0014_0007__ANOTHER_R_0014_0008__ACTIVITIES_R_0014_0009__WEEKEND)
      & has_arg0(R_0014_0006__RUN,R_0014_0001__WHITESTONE_R_0014_0002__COLLEGE)
      & has_arg0(R_0014_0003__IS_R_0014_0004__PLANNING,R_0014_0001__WHITESTONE_R_0014_0002__COLLEGE) ) ).