TSPC 114_a_lob

114_a_lob_a02
Measures agreed so far include: 1. a mass call-out of police, special constables and reserves, with 750 policemen posted from outlying districts to stations in the area — West End Central, Bow-street, and Cannon-row.

( (IP-MAT (NP-SBJ (NS Measures;{measure})
                  (IP-REL *ICH*-120))
          (VBD;__ agreed;{agree})
          (ADVP-NIM (ADVP (ADV so;{so}))
                    (ADV far;{far}))
          (IP-REL-EPD-120 (NP-SBJ *T*)
                          (VBP;__ include;{include})
                          (PUNC :)
                          (NP-OB1 (LST (LS 1)
                                       (PUNC .))
                                  (D a;{a})
                                  (N mass;{mass})
                                  (N call_<hyphen>_out;{call_out})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS police;{police})
                                          (PUNC ,)
                                          (PRN (NP (NLYR (NLYR (ADJP (ADJ special;{special}))
                                                               (NS constables;{constable}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (NS reserves;{reserve}))))))
                                          (PUNC ,)
                                          (PP (P-CONN with;{with})
                                              (IP-PPL3 (NP-SBJ (NUM 750)
                                                               (NS policemen;{policeman}))
                                                       (VVN;__ posted;{post})
                                                       (PP-NIM (P-ROLE from;{from})
                                                               (NP (ADJP (ADJ outlying;{outlying}))
                                                                   (NS districts;{district})
                                                                   (PP (P-ROLE to;{to})
                                                                       (NP (NS stations;{station})
                                                                           (PP (P-ROLE in;{in})
                                                                               (NP (D the;{the})
                                                                                   (N area;{area})
                                                                                   (PUNC <mdash>)
                                                                                   (PRN (NP (NLYR (NLYR (NPR West;{West})
                                                                                                        (NPR End;{End})
                                                                                                        (NPR Central;{Central}))
                                                                                                  (PUNC ,)
                                                                                                  (CONJP (NLYR (NPR Bow_<hyphen>_street;{Bow_street})))
                                                                                                  (PUNC ,)
                                                                                                  (CONJP (CONJ and;{and})
                                                                                                         (NLYR (NPR Cannon_<hyphen>_row;{Cannon_row}))))))))))))))))))
          (PUNC .))
  (ID 114_a_lob_a02))

arc(r_0114_0002__agreed,r_0114_0001__Measures,arg0).
arc(r_0114_0002__agreed,r_0114_0004__far,nim).
arc(r_0114_0004__far,r_0114_0003__so,qual).
arc(r_0114_0005__include,r_0114_0001__Measures,inv_arg0).
arc(r_0114_0005__include,r_0114_0009__a_r_0114_0010__mass_r_0114_0011__call__hyphen__out,arg1).
arc(r_0114_0009__a_r_0114_0010__mass_r_0114_0011__call__hyphen__out,r_0114_0013__police,r_0114_0012__of).
arc(r_0114_0013__police,r_0114_0023__posted,r_0114_0020__with).
arc(r_0114_0016__constables,r_0114_0015__special,attrib).
arc(r_0114_0017__and,r_0114_0016__constables,conj1).
arc(r_0114_0017__and,r_0114_0018__reserves,conj2).
arc(r_0114_0023__posted,r_0114_0021__750_r_0114_0022__policemen,arg0).
arc(r_0114_0023__posted,r_0114_0026__districts,r_0114_0024__from__nim).
arc(r_0114_0026__districts,r_0114_0025__outlying,attrib).
arc(r_0114_0026__districts,r_0114_0028__stations,r_0114_0027__to).
arc(r_0114_0028__stations,r_0114_0030__the_r_0114_0031__area,r_0114_0029__in).
arc(r_0114_0039__and,r_0114_0033__West_r_0114_0034__End_r_0114_0035__Central,conj1).
arc(r_0114_0039__and,r_0114_0037__Bow__hyphen__street,conj2).
arc(r_0114_0039__and,r_0114_0040__Cannon__hyphen__row,conj3).
arc(z_0114_5008,r_0114_0013__police,arg0).
arc(z_0114_5008,r_0114_0017__and,prd).
arc(z_0114_5017,r_0114_0030__the_r_0114_0031__area,arg0).
arc(z_0114_5017,r_0114_0039__and,prd).

fof(formula,axiom,
    ? [R_0114_0021__750_R_0114_0022__POLICEMEN,R_0114_0025__OUTLYING,R_0114_0030__THE_R_0114_0031__AREA,R_0114_0028__STATIONS,R_0114_0026__DISTRICTS,R_0114_0023__POSTED,R_0114_0013__POLICE,R_0114_0009__A_R_0114_0010__MASS_R_0114_0011__CALL__HYPHEN__OUT,R_0114_0005__INCLUDE,R_0114_0001__MEASURES,R_0114_0003__SO,R_0114_0004__FAR,R_0114_0002__AGREED,R_0114_0015__SPECIAL,R_0114_0016__CONSTABLES,R_0114_0018__RESERVES,R_0114_0017__AND,Z_0114_5008,R_0114_0033__WEST_R_0114_0034__END_R_0114_0035__CENTRAL,R_0114_0037__BOW__HYPHEN__STREET,R_0114_0040__CANNON__HYPHEN__ROW,R_0114_0039__AND,Z_0114_5017] :
      ( r_0114_0003__so(R_0114_0003__SO)
      & r_0114_0015__special(R_0114_0015__SPECIAL)
      & r_0114_0018__reserves(R_0114_0018__RESERVES)
      & r_0114_0021__750_r_0114_0022__policemen(R_0114_0021__750_R_0114_0022__POLICEMEN)
      & r_0114_0025__outlying(R_0114_0025__OUTLYING)
      & r_0114_0030__the_r_0114_0031__area(R_0114_0030__THE_R_0114_0031__AREA)
      & r_0114_0033__West_r_0114_0034__End_r_0114_0035__Central(R_0114_0033__WEST_R_0114_0034__END_R_0114_0035__CENTRAL)
      & r_0114_0037__Bow__hyphen__street(R_0114_0037__BOW__HYPHEN__STREET)
      & r_0114_0040__Cannon__hyphen__row(R_0114_0040__CANNON__HYPHEN__ROW)
      & z_0114_5017(Z_0114_5017)
      & has_prd(Z_0114_5017,R_0114_0039__AND)
      & r_0114_0039__and(R_0114_0039__AND)
      & has_conj3(R_0114_0039__AND,R_0114_0040__CANNON__HYPHEN__ROW)
      & has_conj2(R_0114_0039__AND,R_0114_0037__BOW__HYPHEN__STREET)
      & has_conj1(R_0114_0039__AND,R_0114_0033__WEST_R_0114_0034__END_R_0114_0035__CENTRAL)
      & has_arg0(Z_0114_5017,R_0114_0030__THE_R_0114_0031__AREA)
      & z_0114_5008(Z_0114_5008)
      & has_prd(Z_0114_5008,R_0114_0017__AND)
      & r_0114_0017__and(R_0114_0017__AND)
      & has_conj2(R_0114_0017__AND,R_0114_0018__RESERVES)
      & has_conj1(R_0114_0017__AND,R_0114_0016__CONSTABLES)
      & r_0114_0016__constables(R_0114_0016__CONSTABLES)
      & has_attrib(R_0114_0016__CONSTABLES,R_0114_0015__SPECIAL)
      & has_arg0(Z_0114_5008,R_0114_0013__POLICE)
      & r_0114_0013__police(R_0114_0013__POLICE)
      & has_r_0114_0020__with(R_0114_0013__POLICE,R_0114_0023__POSTED)
      & r_0114_0023__posted(R_0114_0023__POSTED)
      & has_r_0114_0024__from__nim(R_0114_0023__POSTED,R_0114_0026__DISTRICTS)
      & r_0114_0026__districts(R_0114_0026__DISTRICTS)
      & has_r_0114_0027__to(R_0114_0026__DISTRICTS,R_0114_0028__STATIONS)
      & r_0114_0028__stations(R_0114_0028__STATIONS)
      & has_r_0114_0029__in(R_0114_0028__STATIONS,R_0114_0030__THE_R_0114_0031__AREA)
      & has_attrib(R_0114_0026__DISTRICTS,R_0114_0025__OUTLYING)
      & has_arg0(R_0114_0023__POSTED,R_0114_0021__750_R_0114_0022__POLICEMEN)
      & r_0114_0002__agreed(R_0114_0002__AGREED)
      & has_nim(R_0114_0002__AGREED,R_0114_0004__FAR)
      & r_0114_0004__far(R_0114_0004__FAR)
      & has_qual(R_0114_0004__FAR,R_0114_0003__SO)
      & has_arg0(R_0114_0002__AGREED,R_0114_0001__MEASURES)
      & r_0114_0001__Measures(R_0114_0001__MEASURES)
      & has_inv_arg0(R_0114_0001__MEASURES,R_0114_0005__INCLUDE)
      & r_0114_0005__include(R_0114_0005__INCLUDE)
      & has_arg1(R_0114_0005__INCLUDE,R_0114_0009__A_R_0114_0010__MASS_R_0114_0011__CALL__HYPHEN__OUT)
      & r_0114_0009__a_r_0114_0010__mass_r_0114_0011__call__hyphen__out(R_0114_0009__A_R_0114_0010__MASS_R_0114_0011__CALL__HYPHEN__OUT)
      & has_r_0114_0012__of(R_0114_0009__A_R_0114_0010__MASS_R_0114_0011__CALL__HYPHEN__OUT,R_0114_0013__POLICE) ) ).