TSPC 106_a_lob

106_a_lob_a02
Police leave has been cancelled and secret plans prepared to deal with the mass sit-down rally planned for Sunday in Parliament-square by the committee of 100, the anti-nuclear arms group.

( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Police;{police})
                              (N leave;{leave}))
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;__ cancelled;{cancel}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (ADJP (ADJ secret;{secret}))
                                     (NS plans;{plan}))
                             (IP-PPL-CAT (IP-PPL-CAT (VVN;_Cn.t_ prepared;{prepare})
                                                     (IP-INF-PRD (TO to;{to})
                                                                 (VB;__ deal;{deal})
                                                                 (PP-CLR (P-ROLE with;{with})
                                                                         (NP (D the;{the})
                                                                             (N mass;{mass})
                                                                             (N sit_<hyphen>_down;{sit_down})
                                                                             (N rally;{rally})
                                                                             (IP-PPL (VVN;__ planned;{plan})
                                                                                     (PP-NIM (P-ROLE for;{for})
                                                                                             (NP (NPR Sunday;{Sunday})))
                                                                                     (PP-NIM (P-ROLE in;{in})
                                                                                             (NP (NPR Parliament_<hyphen>_square;{Parliament_square})))
                                                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                             (NP (D the;{the})
                                                                                                 (N committee;{committee})
                                                                                                 (PP (P-ROLE of;{of})
                                                                                                     (NP (NUM 100)
                                                                                                         (PUNC ,)
                                                                                                         (PRN (NP (D the;{the})
                                                                                                                  (ADJP (ADJ anti_<hyphen>_nuclear;{anti_nuclear}))
                                                                                                                  (NS arms;{arm})
                                                                                                                  (N group;{group}))))))))))))))))
          (PUNC .))
  (ID 106_a_lob_a02))

arc(r_0106_0003__has,r_0106_0004__been,scope).
arc(r_0106_0004__been,r_0106_0005__cancelled,scope).
arc(r_0106_0005__cancelled,r_0106_0001__Police_r_0106_0002__leave,arg1).
arc(r_0106_0005__cancelled,z_0106_5004___star_,arg0).
arc(r_0106_0006__and,r_0106_0003__has,conj1).
arc(r_0106_0006__and,z_0106_5024,conj2).
arc(r_0106_0008__plans,r_0106_0007__secret,attrib).
arc(r_0106_0009__prepared,r_0106_0008__plans,arg0).
arc(r_0106_0009__prepared,r_0106_0011__deal,prd).
arc(r_0106_0011__deal,r_0106_0013__the_r_0106_0014__mass_r_0106_0015__sit__hyphen__down_r_0106_0016__rally,r_0106_0012__with__clr).
arc(r_0106_0011__deal,z_0106_5013,arg0).
arc(r_0106_0017__planned,r_0106_0013__the_r_0106_0014__mass_r_0106_0015__sit__hyphen__down_r_0106_0016__rally,inv_arg1).
arc(r_0106_0017__planned,r_0106_0019__Sunday,r_0106_0018__for__nim).
arc(r_0106_0017__planned,r_0106_0021__Parliament__hyphen__square,r_0106_0020__in__nim).
arc(r_0106_0017__planned,r_0106_0023__the_r_0106_0024__committee,r_0106_0022__by_arg0).
arc(r_0106_0023__the_r_0106_0024__committee,r_0106_0026__100,r_0106_0025__of).
arc(r_0106_0028__the_r_0106_0030__arms_r_0106_0031__group,r_0106_0029__anti__hyphen__nuclear,attrib).
arc(z_0106_5019,r_0106_0026__100,arg0).
arc(z_0106_5019,r_0106_0028__the_r_0106_0030__arms_r_0106_0031__group,prd).
arc(z_0106_5024,r_0106_0009__prepared,scope).

fof(formula,axiom,
    ? [R_0106_0001__POLICE_R_0106_0002__LEAVE,Z_0106_5004___STAR_,R_0106_0003__HAS_R_0106_0004__BEEN_R_0106_0005__CANCELLED,R_0106_0007__SECRET,R_0106_0008__PLANS,R_0106_0019__SUNDAY,R_0106_0021__PARLIAMENT__HYPHEN__SQUARE,R_0106_0026__100,R_0106_0023__THE_R_0106_0024__COMMITTEE,R_0106_0017__PLANNED,R_0106_0013__THE_R_0106_0014__MASS_R_0106_0015__SIT__HYPHEN__DOWN_R_0106_0016__RALLY,Z_0106_5013,R_0106_0011__DEAL,Z_0106_5024_R_0106_0009__PREPARED,R_0106_0006__AND,R_0106_0029__ANTI__HYPHEN__NUCLEAR,R_0106_0028__THE_R_0106_0030__ARMS_R_0106_0031__GROUP,Z_0106_5019] :
      ( r_0106_0001__Police_r_0106_0002__leave(R_0106_0001__POLICE_R_0106_0002__LEAVE)
      & r_0106_0007__secret(R_0106_0007__SECRET)
      & r_0106_0019__Sunday(R_0106_0019__SUNDAY)
      & r_0106_0021__Parliament__hyphen__square(R_0106_0021__PARLIAMENT__HYPHEN__SQUARE)
      & r_0106_0026__100(R_0106_0026__100)
      & r_0106_0029__anti__hyphen__nuclear(R_0106_0029__ANTI__HYPHEN__NUCLEAR)
      & z_0106_5004___star_(Z_0106_5004___STAR_)
      & z_0106_5013(Z_0106_5013)
      & z_0106_5019(Z_0106_5019)
      & has_prd(Z_0106_5019,R_0106_0028__THE_R_0106_0030__ARMS_R_0106_0031__GROUP)
      & r_0106_0028__the_r_0106_0030__arms_r_0106_0031__group(R_0106_0028__THE_R_0106_0030__ARMS_R_0106_0031__GROUP)
      & has_attrib(R_0106_0028__THE_R_0106_0030__ARMS_R_0106_0031__GROUP,R_0106_0029__ANTI__HYPHEN__NUCLEAR)
      & has_arg0(Z_0106_5019,R_0106_0026__100)
      & r_0106_0006__and(R_0106_0006__AND)
      & has_conj2(R_0106_0006__AND,Z_0106_5024_R_0106_0009__PREPARED)
      & z_0106_5024_r_0106_0009__prepared(Z_0106_5024_R_0106_0009__PREPARED)
      & has_prd(Z_0106_5024_R_0106_0009__PREPARED,R_0106_0011__DEAL)
      & r_0106_0011__deal(R_0106_0011__DEAL)
      & has_arg0(R_0106_0011__DEAL,Z_0106_5013)
      & has_r_0106_0012__with__clr(R_0106_0011__DEAL,R_0106_0013__THE_R_0106_0014__MASS_R_0106_0015__SIT__HYPHEN__DOWN_R_0106_0016__RALLY)
      & r_0106_0013__the_r_0106_0014__mass_r_0106_0015__sit__hyphen__down_r_0106_0016__rally(R_0106_0013__THE_R_0106_0014__MASS_R_0106_0015__SIT__HYPHEN__DOWN_R_0106_0016__RALLY)
      & has_inv_arg1(R_0106_0013__THE_R_0106_0014__MASS_R_0106_0015__SIT__HYPHEN__DOWN_R_0106_0016__RALLY,R_0106_0017__PLANNED)
      & r_0106_0017__planned(R_0106_0017__PLANNED)
      & has_r_0106_0022__by_arg0(R_0106_0017__PLANNED,R_0106_0023__THE_R_0106_0024__COMMITTEE)
      & r_0106_0023__the_r_0106_0024__committee(R_0106_0023__THE_R_0106_0024__COMMITTEE)
      & has_r_0106_0025__of(R_0106_0023__THE_R_0106_0024__COMMITTEE,R_0106_0026__100)
      & has_r_0106_0020__in__nim(R_0106_0017__PLANNED,R_0106_0021__PARLIAMENT__HYPHEN__SQUARE)
      & has_r_0106_0018__for__nim(R_0106_0017__PLANNED,R_0106_0019__SUNDAY)
      & has_arg0(Z_0106_5024_R_0106_0009__PREPARED,R_0106_0008__PLANS)
      & r_0106_0008__plans(R_0106_0008__PLANS)
      & has_attrib(R_0106_0008__PLANS,R_0106_0007__SECRET)
      & has_conj1(R_0106_0006__AND,R_0106_0003__HAS_R_0106_0004__BEEN_R_0106_0005__CANCELLED)
      & r_0106_0003__has_r_0106_0004__been_r_0106_0005__cancelled(R_0106_0003__HAS_R_0106_0004__BEEN_R_0106_0005__CANCELLED)
      & has_arg0(R_0106_0003__HAS_R_0106_0004__BEEN_R_0106_0005__CANCELLED,Z_0106_5004___STAR_)
      & has_arg1(R_0106_0003__HAS_R_0106_0004__BEEN_R_0106_0005__CANCELLED,R_0106_0001__POLICE_R_0106_0002__LEAVE) ) ).