arc(r_0088_0003__has, r_0088_0001__Mr_r_0088_0002__Macleod, arg0).
arc(r_0088_0003__has, r_0088_0005__evidence, arg1).
arc(r_0088_0005__evidence, r_0088_0004__ample, attrib10).
arc(r_0088_0005__evidence, r_0088_0007__talks, r_0088_0006__from).
arc(r_0088_0005__evidence, r_0088_0022__that_r_0088_0029__will, emb60).
arc(r_0088_0007__talks, r_0088_0018__and, r_0088_0008__with).
arc(r_0088_0015__liberal_r_0088_0016__leader, r_0088_0013__Northern, attrib37).
arc(r_0088_0015__liberal_r_0088_0016__leader, r_0088_0014__Rhodesian, attrib40).
arc(r_0088_0018__and, r_0088_0009__Sir_r_0088_0010__John_r_0088_0011__Moffat, conj1).
arc(r_0088_0018__and, r_0088_0019__Mr_r_0088_0020__Kaunda, conj2).
arc(r_0088_0022__that_r_0088_0029__will, r_0088_0033__unless, scope).
arc(r_0088_0023__the_r_0088_0024__bulk, r_0088_0027__and, r_0088_0025__of).
arc(r_0088_0027__and, r_0088_0026__moderates, conj1).
arc(r_0088_0027__and, r_0088_0028__Africans, conj2).
arc(r_0088_0030__reject, r_0088_0023__the_r_0088_0024__bulk, arg0).
arc(r_0088_0030__reject, r_0088_0031__the_r_0088_0032__constitution, arg1).
arc(r_0088_0033__unless, r_0088_0030__reject, scope).
arc(r_0088_0033__unless, r_0088_0035__is, restriction).
arc(r_0088_0035__is, r_0088_0036__modified, scope).
arc(r_0088_0036__modified, r_0088_0031__the_r_0088_0032__constitution, arg1).
arc(r_0088_0036__modified, z_000_88_a_lob_a02_102, arg0).
arc(z_000_88_a_lob_a02_35, r_0088_0009__Sir_r_0088_0010__John_r_0088_0011__Moffat, arg0).
arc(z_000_88_a_lob_a02_35, r_0088_0015__liberal_r_0088_0016__leader, prd).

fof(formula,axiom,
    ? [R_88_3_HAS,R_88_1_MR_MACLEOD,R_88_5_EVIDENCE,R_88_4_AMPLE,R_88_7_TALKS,R_88_18_AND,R_88_19_MR_KAUNDA,Z_88_A_LOB_A02_35,R_88_9_SIR_JOHN_MOFFAT,R_88_15_LIBERAL_LEADER,R_88_13_NORTHERN,R_88_14_RHODESIAN] :
      ( mr_Macleod(R_88_1_MR_MACLEOD)
      & ample(R_88_4_AMPLE)
      & mr_Kaunda(R_88_19_MR_KAUNDA)
      & sir_John_Moffat(R_88_9_SIR_JOHN_MOFFAT)
      & northern(R_88_13_NORTHERN)
      & rhodesian(R_88_14_RHODESIAN)
      & has(R_88_3_HAS,R_88_1_MR_MACLEOD,R_88_5_EVIDENCE)
      & evidence(R_88_5_EVIDENCE)
      & attrib10(R_88_5_EVIDENCE,R_88_4_AMPLE)
      & emb60(R_88_5_EVIDENCE,R_88_22_THAT_WILL)
      & ~ ? [R_88_33_UNLESS,R_88_35_IS_MODIFIED,Z_88_A_LOB_A02_102,R_88_30_REJECT,R_88_23_THE_BULK,R_88_27_AND,R_88_26_MODERATES,R_88_28_AFRICANS,R_88_31_THE_CONSTITUTION] :
            ( moderates(R_88_26_MODERATES)
            & africans(R_88_28_AFRICANS)
            & the_constitution(R_88_31_THE_CONSTITUTION)
            & unless(R_88_33_UNLESS)
            & conj1(R_88_33_UNLESS,R_88_35_IS_MODIFIED)
            & is_modified(R_88_35_IS_MODIFIED,Z_88_A_LOB_A02_102,R_88_31_THE_CONSTITUTION)
            & conj2(R_88_33_UNLESS,R_88_30_REJECT)
            & reject(R_88_30_REJECT,R_88_23_THE_BULK,R_88_31_THE_CONSTITUTION)
            & the_bulk(R_88_23_THE_BULK)
            & of(R_88_23_THE_BULK,R_88_27_AND)
            & and(R_88_27_AND)
            & conj1(R_88_27_AND,R_88_26_MODERATES)
            & conj2(R_88_27_AND,R_88_28_AFRICANS) )
      & from(R_88_5_EVIDENCE,R_88_7_TALKS)
      & talks(R_88_7_TALKS)
      & with(R_88_7_TALKS,R_88_18_AND)
      & and(R_88_18_AND)
      & conj1(R_88_18_AND,R_88_9_SIR_JOHN_MOFFAT)
      & conj2(R_88_18_AND,R_88_19_MR_KAUNDA)
      & z_88_a_lob_a02_35(Z_88_A_LOB_A02_35,R_88_9_SIR_JOHN_MOFFAT,R_88_15_LIBERAL_LEADER)
      & liberal_leader(R_88_15_LIBERAL_LEADER)
      & attrib37(R_88_15_LIBERAL_LEADER,R_88_13_NORTHERN)
      & attrib40(R_88_15_LIBERAL_LEADER,R_88_14_RHODESIAN) ) ).

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Macleod;{Macleod}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (ADJP (ADJ ample;{ample}))
                  (N evidence;{evidence})
                  (PP (P-ROLE from;{from})
                      (NP (NS talks;{talk})
                          (PP (P-ROLE with;{with})
                              (NP (NLYR (NLYR (N Sir;{sir})
                                              (NPR John;{John})
                                              (NPR Moffat;{Moffat})
                                              (PUNC ,)
                                              (IP-PPL (NP-PRD (ADJP (ADJ Northern;{northern}))
                                                              (ADJP (ADJ Rhodesian;{rhodesian}))
                                                              (N liberal;{liberal})
                                                              (N leader;{leader}))))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (NLYR (N Mr;{mr})
                                                     (NPR Kaunda;{Kaunda}))))))))
                  (PUNC ,)
                  (CP-THT (IP-SUB (C that;{that})
                                  (NP-SBJ (D the;{the})
                                          (N bulk;{bulk})
                                          (PP (P-ROLE of;{of})
                                              (NP (NLYR (NLYR (NS moderates;{moderate}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (NS Africans;{african})))))))
                                  (MD;_cat_Vi_ will;{will})
                                  (IP-INF-CAT (VB;__ reject;{reject})
                                              (NP-OB1;{CONSTITUTION} (D the;{the})
                                                                     (N constitution;{constitution}))
                                              (PP-SCON (P-CONN unless;{unless})
                                                       (IP-ADV (NP-SBJ;{CONSTITUTION} (PRO it;{it}))
                                                               (BEP;_cat_VePASS_ is;{be})
                                                               (IP-PPL-CAT (NP-LGS *)
                                                                           (VVN;__ modified;{modify}))))))))
          (PUNC .))
  (ID 88_a_lob_a02))