arc(r_0036_0003__thought, r_0036_0001__Mr_r_0036_0002__Macleod, arg0).
arc(r_0036_0003__thought, r_0036_0014__because, arg1).
arc(r_0036_0004__the_r_0036_0005__two_r_0036_0007__parties, r_0036_0006__Rhodesian, attrib16).
arc(r_0036_0008__had, r_0036_0009__refused, scope).
arc(r_0036_0009__refused, r_0036_0004__the_r_0036_0005__two_r_0036_0007__parties, arg0).
arc(r_0036_0009__refused, r_0036_0010__to_r_0036_0011__attend, arg1).
arc(r_0036_0010__to_r_0036_0011__attend, r_0036_0004__the_r_0036_0005__two_r_0036_0007__parties, arg0).
arc(r_0036_0010__to_r_0036_0011__attend, r_0036_0012__the_r_0036_0013__talks, arg1).
arc(r_0036_0014__because, r_0036_0008__had, scope).
arc(r_0036_0014__because, r_0036_0017__had, restriction).
arc(r_0036_0017__had, r_0036_0018__found, scope).
arc(r_0036_0018__found, r_0036_0015__Sir_r_0036_0016__Roy, arg0).
arc(r_0036_0018__found, r_0036_0024__were, arg1).
arc(r_0036_0020__sent, r_0036_0019__messages, arg1).
arc(r_0036_0020__sent, r_0036_0022__the_r_0036_0023__government, r_0036_0021__from_nim63).
arc(r_0036_0020__sent, z_000_36_a_lob_a01_56, arg0).
arc(r_0036_0024__were, r_0036_0019__messages, arg0).
arc(r_0036_0024__were, r_0036_0026__unsatisfactory, prd).

fof(formula,axiom,
    ? [R_0036_0001__MR_R_0036_0002__MACLEOD,R_0036_0006__RHODESIAN,R_0036_0004__THE_R_0036_0005__TWO_R_0036_0007__PARTIES,R_0036_0012__THE_R_0036_0013__TALKS,R_0036_0010__TO_R_0036_0011__ATTEND,R_0036_0008__HAD_R_0036_0009__REFUSED,R_0036_0015__SIR_R_0036_0016__ROY,R_0036_0019__MESSAGES,R_0036_0026__UNSATISFACTORY,R_0036_0024__WERE,R_0036_0017__HAD_R_0036_0018__FOUND,R_0036_0014__BECAUSE,R_0036_0003__THOUGHT,R_0036_0022__THE_R_0036_0023__GOVERNMENT,Z_000_36_A_LOB_A01_56,R_0036_0020__SENT] :
      ( r_0036_0001__Mr_r_0036_0002__Macleod(R_0036_0001__MR_R_0036_0002__MACLEOD)
      & r_0036_0006__Rhodesian(R_0036_0006__RHODESIAN)
      & r_0036_0012__the_r_0036_0013__talks(R_0036_0012__THE_R_0036_0013__TALKS)
      & r_0036_0015__Sir_r_0036_0016__Roy(R_0036_0015__SIR_R_0036_0016__ROY)
      & r_0036_0019__messages(R_0036_0019__MESSAGES)
      & r_0036_0022__the_r_0036_0023__government(R_0036_0022__THE_R_0036_0023__GOVERNMENT)
      & r_0036_0026__unsatisfactory(R_0036_0026__UNSATISFACTORY)
      & z_000_36_a_lob_a01_56(Z_000_36_A_LOB_A01_56)
      & r_0036_0020__sent(R_0036_0020__SENT)
      & has_arg0(R_0036_0020__SENT,Z_000_36_A_LOB_A01_56)
      & has_r_0036_0021__from_nim63(R_0036_0020__SENT,R_0036_0022__THE_R_0036_0023__GOVERNMENT)
      & has_arg1(R_0036_0020__SENT,R_0036_0019__MESSAGES)
      & r_0036_0003__thought(R_0036_0003__THOUGHT)
      & has_arg1(R_0036_0003__THOUGHT,R_0036_0014__BECAUSE)
      & r_0036_0014__because(R_0036_0014__BECAUSE)
      & has_conj1(R_0036_0014__BECAUSE,R_0036_0017__HAD_R_0036_0018__FOUND)
      & r_0036_0017__had_r_0036_0018__found(R_0036_0017__HAD_R_0036_0018__FOUND)
      & has_arg1(R_0036_0017__HAD_R_0036_0018__FOUND,R_0036_0024__WERE)
      & r_0036_0024__were(R_0036_0024__WERE)
      & has_prd(R_0036_0024__WERE,R_0036_0026__UNSATISFACTORY)
      & has_arg0(R_0036_0024__WERE,R_0036_0019__MESSAGES)
      & has_arg0(R_0036_0017__HAD_R_0036_0018__FOUND,R_0036_0015__SIR_R_0036_0016__ROY)
      & has_conj2(R_0036_0014__BECAUSE,R_0036_0008__HAD_R_0036_0009__REFUSED)
      & r_0036_0008__had_r_0036_0009__refused(R_0036_0008__HAD_R_0036_0009__REFUSED)
      & has_arg1(R_0036_0008__HAD_R_0036_0009__REFUSED,R_0036_0010__TO_R_0036_0011__ATTEND)
      & r_0036_0010__to_r_0036_0011__attend(R_0036_0010__TO_R_0036_0011__ATTEND)
      & has_arg1(R_0036_0010__TO_R_0036_0011__ATTEND,R_0036_0012__THE_R_0036_0013__TALKS)
      & has_arg0(R_0036_0010__TO_R_0036_0011__ATTEND,R_0036_0004__THE_R_0036_0005__TWO_R_0036_0007__PARTIES)
      & r_0036_0004__the_r_0036_0005__two_r_0036_0007__parties(R_0036_0004__THE_R_0036_0005__TWO_R_0036_0007__PARTIES)
      & has_attrib16(R_0036_0004__THE_R_0036_0005__TWO_R_0036_0007__PARTIES,R_0036_0006__RHODESIAN)
      & has_arg0(R_0036_0008__HAD_R_0036_0009__REFUSED,R_0036_0004__THE_R_0036_0005__TWO_R_0036_0007__PARTIES)
      & has_arg0(R_0036_0003__THOUGHT,R_0036_0001__MR_R_0036_0002__MACLEOD) ) ).

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Macleod;{Macleod}))
          (VBD;_Tf_ thought;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
                                      (NUM two;{two})
                                      (ADJP (ADJ Rhodesian;{rhodesian}))
                                      (NS parties;{party}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;_Tt_ refused;{refuse})
                                          (IP-INF-OB1 (TO to;{to})
                                                      (VB;_Tn_ attend;{attend})
                                                      (NP-OB1 (D the;{the})
                                                              (NS talks;{talk}))))
                              (PP-SCON (P-CONN because;{because})
                                       (IP-ADV (NP-SBJ (N Sir;{sir})
                                                       (NPR Roy;{Roy}))
                                               (HVD;_cat_Ve_ had;{have})
                                               (IP-PPL-CAT (VVN;_Tf_ found;{find})
                                                           (CP-THT-OB1 (IP-SUB (NP-SBJ (NS messages;{message})
                                                                                       (IP-PPL (NP-LGS *)
                                                                                               (VVN;_Tn_ sent;{send})
                                                                                               (PP-NIM (P-ROLE from;{from})
                                                                                                       (NP (D the;{the})
                                                                                                           (N government;{government})))))
                                                                               (BED;_La_ were;{be})
                                                                               (PULQ <lquo>)
                                                                               (ADJP-PRD (ADJ unsatisfactory;{unsatisfactory})))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 36_a_lob_a01))