TSPC 107_a_lob

107_a_lob_a02
It was Mr Butler who authorised action which ended yesterday in 32 members of the committee of 100 being imprisoned for inciting a breach of the peace.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_cleft_Vn_ was;{be})
          (NP-FOC (N Mr;{mr})
                  (NPR Butler;{Butler}))
          (IP-CLF (NP-SBJ (RPRO who;{who}))
                  (VBP;_Tn_ authorised;{authorise})
                  (NP-OB1 (N action;{action})
                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                  (VBD;__ ended;{end})
                                  (ADVP-NIM (ADV yesterday;{yesterday}))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NUM 32)
                                              (NS members;{member})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N committee;{committee})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NUM 100)))))
                                              (IP-PPL (BAG;_La_ being;{be})
                                                      (ADJP-PRD (ADJ imprisoned;{imprisoned})
                                                                (PP (P-ROLE for;{for})
                                                                    (IP-PPL (VAG;__ inciting;{incite})
                                                                            (NP-OB1 (D a;{a})
                                                                                    (N breach;{breach})
                                                                                    (PP (P-ROLE of;{of})
                                                                                        (NP (D the;{the})
                                                                                            (N peace;{peace})))))))))))))
          (PUNC .))
  (ID 107_a_lob_a02))

arc(r_0107_0002__was,r_0107_0003__Mr_r_0107_0004__Butler,arg0).
arc(r_0107_0002__was,z_0107_5018,prd).
arc(r_0107_0006__authorised,r_0107_0007__action,arg1).
arc(r_0107_0006__authorised,z_0107_5018,arg0).
arc(r_0107_0009__ended,r_0107_0007__action,arg0).
arc(r_0107_0009__ended,r_0107_0010__yesterday,nim).
arc(r_0107_0009__ended,r_0107_0012__32_r_0107_0013__members,r_0107_0011__in__nim).
arc(r_0107_0012__32_r_0107_0013__members,r_0107_0015__the_r_0107_0016__committee,r_0107_0014__of).
arc(r_0107_0015__the_r_0107_0016__committee,r_0107_0018__100,r_0107_0017__of).
arc(r_0107_0019__being,r_0107_0012__32_r_0107_0013__members,inv_arg0).
arc(r_0107_0019__being,r_0107_0020__imprisoned,prd).
arc(r_0107_0020__imprisoned,r_0107_0022__inciting,r_0107_0021__for).
arc(r_0107_0022__inciting,r_0107_0023__a_r_0107_0024__breach,arg1).
arc(r_0107_0022__inciting,z_0107_5010,arg0).
arc(r_0107_0023__a_r_0107_0024__breach,r_0107_0026__the_r_0107_0027__peace,r_0107_0025__of).

fof(formula,axiom,
    ? [R_0107_0003__MR_R_0107_0004__BUTLER,Z_0107_5018,R_0107_0002__WAS,R_0107_0007__ACTION,R_0107_0006__AUTHORISED,R_0107_0010__YESTERDAY,R_0107_0018__100,R_0107_0015__THE_R_0107_0016__COMMITTEE,R_0107_0026__THE_R_0107_0027__PEACE,R_0107_0023__A_R_0107_0024__BREACH,Z_0107_5010,R_0107_0022__INCITING,R_0107_0020__IMPRISONED,R_0107_0019__BEING,R_0107_0012__32_R_0107_0013__MEMBERS,R_0107_0009__ENDED] :
      ( r_0107_0003__Mr_r_0107_0004__Butler(R_0107_0003__MR_R_0107_0004__BUTLER)
      & r_0107_0007__action(R_0107_0007__ACTION)
      & r_0107_0010__yesterday(R_0107_0010__YESTERDAY)
      & r_0107_0018__100(R_0107_0018__100)
      & r_0107_0026__the_r_0107_0027__peace(R_0107_0026__THE_R_0107_0027__PEACE)
      & z_0107_5010(Z_0107_5010)
      & z_0107_5018(Z_0107_5018)
      & r_0107_0009__ended(R_0107_0009__ENDED)
      & has_r_0107_0011__in__nim(R_0107_0009__ENDED,R_0107_0012__32_R_0107_0013__MEMBERS)
      & r_0107_0012__32_r_0107_0013__members(R_0107_0012__32_R_0107_0013__MEMBERS)
      & has_inv_arg0(R_0107_0012__32_R_0107_0013__MEMBERS,R_0107_0019__BEING)
      & r_0107_0019__being(R_0107_0019__BEING)
      & has_prd(R_0107_0019__BEING,R_0107_0020__IMPRISONED)
      & r_0107_0020__imprisoned(R_0107_0020__IMPRISONED)
      & has_r_0107_0021__for(R_0107_0020__IMPRISONED,R_0107_0022__INCITING)
      & r_0107_0022__inciting(R_0107_0022__INCITING)
      & has_arg0(R_0107_0022__INCITING,Z_0107_5010)
      & has_arg1(R_0107_0022__INCITING,R_0107_0023__A_R_0107_0024__BREACH)
      & r_0107_0023__a_r_0107_0024__breach(R_0107_0023__A_R_0107_0024__BREACH)
      & has_r_0107_0025__of(R_0107_0023__A_R_0107_0024__BREACH,R_0107_0026__THE_R_0107_0027__PEACE)
      & has_r_0107_0014__of(R_0107_0012__32_R_0107_0013__MEMBERS,R_0107_0015__THE_R_0107_0016__COMMITTEE)
      & r_0107_0015__the_r_0107_0016__committee(R_0107_0015__THE_R_0107_0016__COMMITTEE)
      & has_r_0107_0017__of(R_0107_0015__THE_R_0107_0016__COMMITTEE,R_0107_0018__100)
      & has_nim(R_0107_0009__ENDED,R_0107_0010__YESTERDAY)
      & has_arg0(R_0107_0009__ENDED,R_0107_0007__ACTION)
      & r_0107_0006__authorised(R_0107_0006__AUTHORISED)
      & has_arg0(R_0107_0006__AUTHORISED,Z_0107_5018)
      & has_arg1(R_0107_0006__AUTHORISED,R_0107_0007__ACTION)
      & r_0107_0002__was(R_0107_0002__WAS)
      & has_prd(R_0107_0002__WAS,Z_0107_5018)
      & has_arg0(R_0107_0002__WAS,R_0107_0003__MR_R_0107_0004__BUTLER) ) ).