( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR James;{James})
                  (NPR Callaghan;{Callaghan})
                  (PUNC ,)
                  (PRN (NP (NP-GEN (N labour;{labour})
                                   (GENM <apos>s))
                           (ADJP (ADJ colonial;{colonial}))
                           (N spokesman;{spokesman}))))
          (PUNC ,)
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (N Sir;{sir})
                                      (NPR Roy;{Roy}))
                              (HVD;_Tn_ had;{have})
                              (NP-OB1 (Q no;{no})
                                      (N right;{right})
                                      (IP-INF (TO to;{to})
                                              (VB;_Tn_ delay;{delay})
                                              (NP-OB1 (N progress;{progress})
                                                      (PP (P-ROLE in;{in})
                                                          (NP (D the;{the})
                                                              (NS talks;{talk}))))
                                              (PP-SCON (P-CONN by;{by})
                                                       (IP-PPL2 (VAG;_Tn_ refusing;{refuse})
                                                                (IP-INF-OB1 (TO to;{to})
                                                                            (VB;_Ipr_ sit;{sit[round]})
                                                                            (PP-CLR (P-ROLE round;{round})
                                                                                    (NP (D the;{the})
                                                                                        (N conference;{conference})
                                                                                        (N table;{table}))))))))))
          (PUNC .))
  (ID 37_a_lob_a01))

arc(r_0037_0008__spokesman,r_0037_0005__labour,gen).
arc(r_0037_0008__spokesman,r_0037_0007__colonial,attrib).
arc(r_0037_0010__said,r_0037_0001__Mr_r_0037_0002__James_r_0037_0003__Callaghan,arg0).
arc(r_0037_0010__said,r_0037_0014__no__quant,arg1).
arc(r_0037_0013__had,r_0037_0011__Sir_r_0037_0012__Roy,arg0).
arc(r_0037_0013__had,r_0037_0015__right,arg1).
arc(r_0037_0014__no__quant,r_0037_0013__had,scope).
arc(r_0037_0014__no__quant,r_0037_0015__right,restriction).
arc(r_0037_0015__right,r_0037_0022__by,emb).
arc(r_0037_0017__delay,r_0037_0018__progress,arg1).
arc(r_0037_0017__delay,z_0037_5011,arg0).
arc(r_0037_0018__progress,r_0037_0020__the_r_0037_0021__talks,r_0037_0019__in).
arc(r_0037_0022__by,r_0037_0017__delay,scope).
arc(r_0037_0022__by,r_0037_0023__refusing,restriction).
arc(r_0037_0023__refusing,r_0037_0025__sit_r_0037_0026__round,arg1).
arc(r_0037_0023__refusing,z_0037_5011,arg0).
arc(r_0037_0025__sit_r_0037_0026__round,r_0037_0027__the_r_0037_0028__conference_r_0037_0029__table,arg1).
arc(r_0037_0025__sit_r_0037_0026__round,z_0037_5011,arg0).
arc(z_0037_5004,r_0037_0001__Mr_r_0037_0002__James_r_0037_0003__Callaghan,arg0).
arc(z_0037_5004,r_0037_0008__spokesman,prd).

fof(formula,axiom,
    ? [R_0037_0001__MR_R_0037_0002__JAMES_R_0037_0003__CALLAGHAN,R_0037_0010__SAID,R_0037_0005__LABOUR,R_0037_0007__COLONIAL,R_0037_0008__SPOKESMAN,Z_0037_5004] :
      ( r_0037_0001__Mr_r_0037_0002__James_r_0037_0003__Callaghan(R_0037_0001__MR_R_0037_0002__JAMES_R_0037_0003__CALLAGHAN)
      & r_0037_0005__labour(R_0037_0005__LABOUR)
      & r_0037_0007__colonial(R_0037_0007__COLONIAL)
      & z_0037_5004(Z_0037_5004)
      & has_prd(Z_0037_5004,R_0037_0008__SPOKESMAN)
      & r_0037_0008__spokesman(R_0037_0008__SPOKESMAN)
      & has_attrib(R_0037_0008__SPOKESMAN,R_0037_0007__COLONIAL)
      & has_gen(R_0037_0008__SPOKESMAN,R_0037_0005__LABOUR)
      & has_arg0(Z_0037_5004,R_0037_0001__MR_R_0037_0002__JAMES_R_0037_0003__CALLAGHAN)
      & r_0037_0010__said(R_0037_0010__SAID)
      & ! [R_0037_0015__RIGHT,R_0037_0020__THE_R_0037_0021__TALKS,R_0037_0018__PROGRESS,Z_0037_5011,R_0037_0017__DELAY,R_0037_0027__THE_R_0037_0028__CONFERENCE_R_0037_0029__TABLE,R_0037_0025__SIT_R_0037_0026__ROUND,R_0037_0023__REFUSING,R_0037_0022__BY] :
          ( ( r_0037_0020__the_r_0037_0021__talks(R_0037_0020__THE_R_0037_0021__TALKS)
            & r_0037_0027__the_r_0037_0028__conference_r_0037_0029__table(R_0037_0027__THE_R_0037_0028__CONFERENCE_R_0037_0029__TABLE)
            & z_0037_5011(Z_0037_5011)
            & r_0037_0015__right(R_0037_0015__RIGHT)
            & has_emb(R_0037_0015__RIGHT,R_0037_0022__BY)
            & r_0037_0022__by(R_0037_0022__BY)
            & has_conj1(R_0037_0022__BY,R_0037_0023__REFUSING)
            & r_0037_0023__refusing(R_0037_0023__REFUSING)
            & has_arg0(R_0037_0023__REFUSING,Z_0037_5011)
            & has_arg1(R_0037_0023__REFUSING,R_0037_0025__SIT_R_0037_0026__ROUND)
            & r_0037_0025__sit_r_0037_0026__round(R_0037_0025__SIT_R_0037_0026__ROUND)
            & has_arg0(R_0037_0025__SIT_R_0037_0026__ROUND,Z_0037_5011)
            & has_arg1(R_0037_0025__SIT_R_0037_0026__ROUND,R_0037_0027__THE_R_0037_0028__CONFERENCE_R_0037_0029__TABLE)
            & has_conj2(R_0037_0022__BY,R_0037_0017__DELAY)
            & r_0037_0017__delay(R_0037_0017__DELAY)
            & has_arg0(R_0037_0017__DELAY,Z_0037_5011)
            & has_arg1(R_0037_0017__DELAY,R_0037_0018__PROGRESS)
            & r_0037_0018__progress(R_0037_0018__PROGRESS)
            & has_r_0037_0019__in(R_0037_0018__PROGRESS,R_0037_0020__THE_R_0037_0021__TALKS) )
         => ? [R_0037_0011__SIR_R_0037_0012__ROY,R_0037_0013__HAD] :
              ( r_0037_0011__Sir_r_0037_0012__Roy(R_0037_0011__SIR_R_0037_0012__ROY)
              & r_0037_0013__had(R_0037_0013__HAD)
              & has_arg1(R_0037_0013__HAD,R_0037_0015__RIGHT)
              & has_arg0(R_0037_0013__HAD,R_0037_0011__SIR_R_0037_0012__ROY) ) )
      & has_arg0(R_0037_0010__SAID,R_0037_0001__MR_R_0037_0002__JAMES_R_0037_0003__CALLAGHAN) ) ).