arc(r_0027_0005__the_r_0027_0007__Secretary, r_0027_0006__colonial, attrib15).
arc(r_0027_0009__denied, r_0027_0001__Mr_r_0027_0002__Iain_r_0027_0003__Macleod, arg0).
arc(r_0027_0009__denied, r_0027_0011__the_r_0027_0012__Commons, r_0027_0010__in_nim27).
arc(r_0027_0009__denied, r_0027_0014__night, nim32).
arc(r_0027_0009__denied, r_0027_0015__that_r_0027_0016__there_r_0027_0017__have, arg1).
arc(r_0027_0014__night, r_0027_0013__last, attrib33).
arc(r_0027_0015__that_r_0027_0016__there_r_0027_0017__have, r_0027_0018__been, scope).
arc(r_0027_0018__been, r_0027_0020__negotiations, arg0).
arc(r_0027_0020__negotiations, r_0027_0019__secret, attrib50).
arc(r_0027_0020__negotiations, r_0027_0025__future, r_0027_0021__on).
arc(r_0027_0025__future, r_0027_0022__Northern_r_0027_0023__Rhodesia_r_0027_0024___apos_s, gen).
arc(z_000_27_a_lob_a01_11, r_0027_0001__Mr_r_0027_0002__Iain_r_0027_0003__Macleod, arg0).
arc(z_000_27_a_lob_a01_11, r_0027_0005__the_r_0027_0007__Secretary, prd).

fof(formula,axiom,
    ? [R_0027_0001__MR_R_0027_0002__IAIN_R_0027_0003__MACLEOD,R_0027_0011__THE_R_0027_0012__COMMONS,R_0027_0013__LAST,R_0027_0014__NIGHT,R_0027_0019__SECRET,R_0027_0022__NORTHERN_R_0027_0023__RHODESIA_R_0027_0024___APOS_S,R_0027_0025__FUTURE,R_0027_0020__NEGOTIATIONS,R_0027_0015__THAT_R_0027_0016__THERE_R_0027_0017__HAVE_R_0027_0018__BEEN,R_0027_0009__DENIED,R_0027_0006__COLONIAL,R_0027_0005__THE_R_0027_0007__SECRETARY,Z_000_27_A_LOB_A01_11] :
      ( r_0027_0001__Mr_r_0027_0002__Iain_r_0027_0003__Macleod(R_0027_0001__MR_R_0027_0002__IAIN_R_0027_0003__MACLEOD)
      & r_0027_0006__colonial(R_0027_0006__COLONIAL)
      & r_0027_0011__the_r_0027_0012__Commons(R_0027_0011__THE_R_0027_0012__COMMONS)
      & r_0027_0013__last(R_0027_0013__LAST)
      & r_0027_0019__secret(R_0027_0019__SECRET)
      & r_0027_0022__Northern_r_0027_0023__Rhodesia_r_0027_0024___apos_s(R_0027_0022__NORTHERN_R_0027_0023__RHODESIA_R_0027_0024___APOS_S)
      & z_000_27_a_lob_a01_11(Z_000_27_A_LOB_A01_11)
      & has_prd(Z_000_27_A_LOB_A01_11,R_0027_0005__THE_R_0027_0007__SECRETARY)
      & r_0027_0005__the_r_0027_0007__Secretary(R_0027_0005__THE_R_0027_0007__SECRETARY)
      & has_attrib15(R_0027_0005__THE_R_0027_0007__SECRETARY,R_0027_0006__COLONIAL)
      & has_arg0(Z_000_27_A_LOB_A01_11,R_0027_0001__MR_R_0027_0002__IAIN_R_0027_0003__MACLEOD)
      & r_0027_0009__denied(R_0027_0009__DENIED)
      & has_arg1(R_0027_0009__DENIED,R_0027_0015__THAT_R_0027_0016__THERE_R_0027_0017__HAVE_R_0027_0018__BEEN)
      & r_0027_0015__that_r_0027_0016__there_r_0027_0017__have_r_0027_0018__been(R_0027_0015__THAT_R_0027_0016__THERE_R_0027_0017__HAVE_R_0027_0018__BEEN)
      & has_arg0(R_0027_0015__THAT_R_0027_0016__THERE_R_0027_0017__HAVE_R_0027_0018__BEEN,R_0027_0020__NEGOTIATIONS)
      & r_0027_0020__negotiations(R_0027_0020__NEGOTIATIONS)
      & has_r_0027_0021__on(R_0027_0020__NEGOTIATIONS,R_0027_0025__FUTURE)
      & r_0027_0025__future(R_0027_0025__FUTURE)
      & has_gen(R_0027_0025__FUTURE,R_0027_0022__NORTHERN_R_0027_0023__RHODESIA_R_0027_0024___APOS_S)
      & has_attrib50(R_0027_0020__NEGOTIATIONS,R_0027_0019__SECRET)
      & has_nim32(R_0027_0009__DENIED,R_0027_0014__NIGHT)
      & r_0027_0014__night(R_0027_0014__NIGHT)
      & has_attrib33(R_0027_0014__NIGHT,R_0027_0013__LAST)
      & has_r_0027_0010__in_nim27(R_0027_0009__DENIED,R_0027_0011__THE_R_0027_0012__COMMONS)
      & has_arg0(R_0027_0009__DENIED,R_0027_0001__MR_R_0027_0002__IAIN_R_0027_0003__MACLEOD) ) ).

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Iain;{Iain})
                  (NPR Macleod;{Macleod})
                  (PUNC ,)
                  (IP-PPL (NP-PRD (D the;{the})
                                  (ADJP (ADJ colonial;{colonial}))
                                  (N Secretary;{secretary}))))
          (PUNC ,)
          (VBD;_Tf_ denied;{deny})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NPR Commons;{Commons})))
          (NP-NIM (ADJP (ADJ last;{last}))
                  (N night;{night}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (EX there;{there})
                              (HVP;_cat_Ve_ have;{have})
                              (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                                          (NP-ESBJ (ADJP (ADJ secret;{secret}))
                                                   (NS negotiations;{negotiation})
                                                   (PP (P-ROLE on;{on})
                                                       (NP (NP-GEN (NPR Northern;{Northern})
                                                                   (NPR Rhodesia;{Rhodesia})
                                                                   (GENM <apos>s))
                                                           (N future;{future})))))))
          (PUNC .))
  (ID 27_a_lob_a01))