( (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 (PRN (NP (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))

arc(r_0113_0004__will,r_0113_0001__Today,nim).
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__nim).
arc(r_0113_0014__draw_r_0113_0015__up,r_0113_0017__plans,arg1).
arc(r_0113_0014__draw_r_0113_0015__up,z_0113_5005,arg0).
arc(r_0113_0017__plans,r_0113_0016__final,attrib).
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_0113_5002,r_0113_0004__will,scope).
arc(z_0113_5002,r_0113_0014__draw_r_0113_0015__up,restriction).
arc(z_0113_5014,r_0113_0008__police_r_0113_0009__commissioner,prd).
arc(z_0113_5014,r_0113_0010__Sir_r_0113_0011__Joseph_r_0113_0012__Simpson,arg0).

fof(formula,axiom,
    ? [R_0113_0001__TODAY,R_0113_0002__MR_R_0113_0003__BUTLER,R_0113_0006__TALKS,R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON,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_0113_5005,R_0113_0014__DRAW_R_0113_0015__UP,Z_0113_5002,R_0113_0008__POLICE_R_0113_0009__COMMISSIONER,Z_0113_5014] :
      ( 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_0113_5005(Z_0113_5005)
      & z_0113_5014(Z_0113_5014)
      & has_arg0(Z_0113_5014,R_0113_0010__SIR_R_0113_0011__JOSEPH_R_0113_0012__SIMPSON)
      & has_prd(Z_0113_5014,R_0113_0008__POLICE_R_0113_0009__COMMISSIONER)
      & z_0113_5002(Z_0113_5002)
      & has_conj1(Z_0113_5002,R_0113_0014__DRAW_R_0113_0015__UP)
      & r_0113_0014__draw_r_0113_0015__up(R_0113_0014__DRAW_R_0113_0015__UP)
      & has_arg0(R_0113_0014__DRAW_R_0113_0015__UP,Z_0113_5005)
      & has_arg1(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_attrib(R_0113_0017__PLANS,R_0113_0016__FINAL)
      & has_conj2(Z_0113_5002,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__nim(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_nim(R_0113_0004__WILL_R_0113_0005__HAVE,R_0113_0001__TODAY) ) ).