arc(r_0113_0004__will, r_0113_0001__Today, nim2).
arc(r_0113_0004__will, r_0113_0005__have, scope).
arc(r_0113_0005__have, r_0113_0002__Mr_r_0113_0003__Butler, arg0).
arc(r_0113_0005__have, r_0113_0006__talks, arg1).
arc(r_0113_0005__have, r_0113_0010__Sir_r_0113_0011__Joseph_r_0113_0012__Simpson, r_0113_0007__with_nim21).
arc(r_0113_0013__to_r_0113_0014__draw_r_0113_0015__up, r_0113_0017__plans, arg1).
arc(r_0113_0013__to_r_0113_0014__draw_r_0113_0015__up, z_000_113_a_lob_a02_35, arg0).
arc(r_0113_0017__plans, r_0113_0016__final, attrib43).
arc(r_0113_0017__plans, r_0113_0019__the_r_0113_0021__battle, r_0113_0018__for).
arc(r_0113_0019__the_r_0113_0021__battle, r_0113_0023__parliament_r_0113_0024__Square, r_0113_0022__of).
arc(z_000_113_a_lob_a02_22, r_0113_0008__police_r_0113_0009__commissioner, prd).
arc(z_000_113_a_lob_a02_22, r_0113_0010__Sir_r_0113_0011__Joseph_r_0113_0012__Simpson, arg0).
arc(z_000_113_a_lob_a02_34, r_0113_0004__will, scope).
arc(z_000_113_a_lob_a02_34, r_0113_0013__to_r_0113_0014__draw_r_0113_0015__up, restriction).

fof(formula,axiom,
    ? [R_0113_0008__POLICE_R_0113_0009__COMMISSIONER,R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON,Z_000_113_A_LOB_A02_22,R_0113_0001__TODAY,R_0113_0002__MR_R_0113_0003__BUTLER,R_0113_0006__TALKS,R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0016__FINAL,R_0113_0023__PARLIAMENT_R_0113_0024__SQUARE,R_0113_0019__THE_R_0113_0021__BATTLE,R_0113_0017__PLANS,Z_000_113_A_LOB_A02_35,R_0113_0013__TO_R_0113_0014__DRAW_R_0113_0015__UP,Z_000_113_A_LOB_A02_34] :
      ( r_0113_0001__Today(R_0113_0001__TODAY)
      & r_0113_0002__Mr_r_0113_0003__Butler(R_0113_0002__MR_R_0113_0003__BUTLER)
      & r_0113_0006__talks(R_0113_0006__TALKS)
      & r_0113_0008__police_r_0113_0009__commissioner(R_0113_0008__POLICE_R_0113_0009__COMMISSIONER)
      & r_0113_0010__Sir_r_0113_0011__Joseph_r_0113_0012__Simpson(R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON)
      & r_0113_0016__final(R_0113_0016__FINAL)
      & r_0113_0023__parliament_r_0113_0024__Square(R_0113_0023__PARLIAMENT_R_0113_0024__SQUARE)
      & z_000_113_a_lob_a02_35(Z_000_113_A_LOB_A02_35)
      & z_000_113_a_lob_a02_34(Z_000_113_A_LOB_A02_34)
      & has_conj1(Z_000_113_A_LOB_A02_34,R_0113_0013__TO_R_0113_0014__DRAW_R_0113_0015__UP)
      & r_0113_0013__to_r_0113_0014__draw_r_0113_0015__up(R_0113_0013__TO_R_0113_0014__DRAW_R_0113_0015__UP)
      & has_arg0(R_0113_0013__TO_R_0113_0014__DRAW_R_0113_0015__UP,Z_000_113_A_LOB_A02_35)
      & has_arg1(R_0113_0013__TO_R_0113_0014__DRAW_R_0113_0015__UP,R_0113_0017__PLANS)
      & r_0113_0017__plans(R_0113_0017__PLANS)
      & has_r_0113_0018__for(R_0113_0017__PLANS,R_0113_0019__THE_R_0113_0021__BATTLE)
      & r_0113_0019__the_r_0113_0021__battle(R_0113_0019__THE_R_0113_0021__BATTLE)
      & has_r_0113_0022__of(R_0113_0019__THE_R_0113_0021__BATTLE,R_0113_0023__PARLIAMENT_R_0113_0024__SQUARE)
      & has_attrib43(R_0113_0017__PLANS,R_0113_0016__FINAL)
      & has_conj2(Z_000_113_A_LOB_A02_34,R_0113_0004__WILL_R_0113_0005__HAVE)
      & r_0113_0004__will_r_0113_0005__have(R_0113_0004__WILL_R_0113_0005__HAVE)
      & has_r_0113_0007__with_nim21(R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON)
      & has_arg1(R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0006__TALKS)
      & has_arg0(R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0002__MR_R_0113_0003__BUTLER)
      & has_nim2(R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0001__TODAY)
      & z_000_113_a_lob_a02_22(Z_000_113_A_LOB_A02_22)
      & has_arg0(Z_000_113_A_LOB_A02_22,R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON)
      & has_prd(Z_000_113_A_LOB_A02_22,R_0113_0008__POLICE_R_0113_0009__COMMISSIONER) ) ).

( (IP-MAT (ADVP-NIM (ADV Today;{today}))
          (NP-SBJ (N Mr;{mr})
                  (NPR Butler;{Butler}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (HV;_Tn_ have;{have})
                      (NP-OB1 (NS talks;{talk}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (IP-PPL (NP-PRD (NS police;{police})
                                                  (N commissioner;{commissioner})))
                                  (N Sir;{sir})
                                  (NPR Joseph;{Joseph})
                                  (NPR Simpson;{Simpson}))))
          (PP-SCON (IP-INF3 (TO to;{to})
                            (VB;__ draw;{draw})
                            (RP up;{up})
                            (NP-OB1 (ADJP (ADJ final;{final}))
                                    (NS plans;{plan})
                                    (PP (P-ROLE for;{for})
                                        (NP (D the;{the})
                                            (PULQ <lquo>)
                                            (N battle;{battle})
                                            (PP (P-ROLE of;{of})
                                                (NP (N parliament;{parliament})
                                                    (N Square;{square}))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 113_a_lob_a02))