( (IP-MAT (ILYR (ILYR (NP-SBJ (N Sir;{sir})
                              (NPR Roy;{Roy}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADVP (ADV violently;{violently}))
                                (ADJ opposed;{opposed})
                                (PP (P-ROLE to;{to})
                                    (NP (NS Africans;{african})
                                        (IP-PPL (VAG;_Tn_ getting;{get})
                                                (NP-OB1 (D an;{an})
                                                        (ADJP (ADJ elected;{elected}))
                                                        (N majority;{majority}))
                                                (PP-NIM (P-ROLE in;{in})
                                                        (NP (NPR Northern;{Northern})
                                                            (NPR Rhodesia;{Rhodesia}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADJP (ADJ colonial;{colonial}))
                                     (N Secretary;{secretary})
                                     (PUNC ,)
                                     (PRN (NP (N Mr;{mr})
                                              (NPR Iain;{Iain})
                                              (NPR Macleod;{Macleod}))))
                             (PUNC ,)
                             (BEP;_cat_Vg_ is;{be})
                             (IP-PPL-CAT (VAG;_Ipr_ insisting;{insist[on]})
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (D a;{a})
                                                     (N policy;{policy})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (N change;{change})))))))))
          (PUNC .))
  (ID 15_a_lob_a01))

arc(r_0015_0003__is,r_0015_0001__Sir_r_0015_0002__Roy,arg0).
arc(r_0015_0003__is,r_0015_0005__opposed,prd).
arc(r_0015_0005__opposed,r_0015_0004__violently,qual).
arc(r_0015_0005__opposed,r_0015_0007__Africans,r_0015_0006__to).
arc(r_0015_0008__getting,r_0015_0007__Africans,inv_arg0).
arc(r_0015_0008__getting,r_0015_0009__an_r_0015_0011__majority,arg1).
arc(r_0015_0008__getting,r_0015_0013__Northern_r_0015_0014__Rhodesia,r_0015_0012__in__nim).
arc(r_0015_0009__an_r_0015_0011__majority,r_0015_0010__elected,attrib).
arc(r_0015_0016__but,r_0015_0003__is,conj1).
arc(r_0015_0016__but,r_0015_0025__is,conj2).
arc(r_0015_0017__the_r_0015_0019__Secretary,r_0015_0018__colonial,attrib).
arc(r_0015_0025__is,r_0015_0026__insisting_r_0015_0027__on,scope).
arc(r_0015_0026__insisting_r_0015_0027__on,r_0015_0017__the_r_0015_0019__Secretary,arg0).
arc(r_0015_0026__insisting_r_0015_0027__on,r_0015_0028__a_r_0015_0029__policy,arg1).
arc(r_0015_0028__a_r_0015_0029__policy,r_0015_0031__change,r_0015_0030__of).
arc(z_0015_5010,r_0015_0017__the_r_0015_0019__Secretary,arg0).
arc(z_0015_5010,r_0015_0021__Mr_r_0015_0022__Iain_r_0015_0023__Macleod,prd).

fof(formula,axiom,
    ? [R_0015_0001__SIR_R_0015_0002__ROY,R_0015_0004__VIOLENTLY,R_0015_0010__ELECTED,R_0015_0009__AN_R_0015_0011__MAJORITY,R_0015_0013__NORTHERN_R_0015_0014__RHODESIA,R_0015_0008__GETTING,R_0015_0007__AFRICANS,R_0015_0005__OPPOSED,R_0015_0003__IS,R_0015_0018__COLONIAL,R_0015_0017__THE_R_0015_0019__SECRETARY,R_0015_0031__CHANGE,R_0015_0028__A_R_0015_0029__POLICY,R_0015_0025__IS_R_0015_0026__INSISTING_R_0015_0027__ON,R_0015_0016__BUT,R_0015_0021__MR_R_0015_0022__IAIN_R_0015_0023__MACLEOD,Z_0015_5010] :
      ( r_0015_0001__Sir_r_0015_0002__Roy(R_0015_0001__SIR_R_0015_0002__ROY)
      & r_0015_0004__violently(R_0015_0004__VIOLENTLY)
      & r_0015_0010__elected(R_0015_0010__ELECTED)
      & r_0015_0013__Northern_r_0015_0014__Rhodesia(R_0015_0013__NORTHERN_R_0015_0014__RHODESIA)
      & r_0015_0018__colonial(R_0015_0018__COLONIAL)
      & r_0015_0021__Mr_r_0015_0022__Iain_r_0015_0023__Macleod(R_0015_0021__MR_R_0015_0022__IAIN_R_0015_0023__MACLEOD)
      & r_0015_0031__change(R_0015_0031__CHANGE)
      & z_0015_5010(Z_0015_5010)
      & has_prd(Z_0015_5010,R_0015_0021__MR_R_0015_0022__IAIN_R_0015_0023__MACLEOD)
      & has_arg0(Z_0015_5010,R_0015_0017__THE_R_0015_0019__SECRETARY)
      & r_0015_0017__the_r_0015_0019__Secretary(R_0015_0017__THE_R_0015_0019__SECRETARY)
      & has_attrib(R_0015_0017__THE_R_0015_0019__SECRETARY,R_0015_0018__COLONIAL)
      & r_0015_0016__but(R_0015_0016__BUT)
      & has_conj2(R_0015_0016__BUT,R_0015_0025__IS_R_0015_0026__INSISTING_R_0015_0027__ON)
      & r_0015_0025__is_r_0015_0026__insisting_r_0015_0027__on(R_0015_0025__IS_R_0015_0026__INSISTING_R_0015_0027__ON)
      & has_arg1(R_0015_0025__IS_R_0015_0026__INSISTING_R_0015_0027__ON,R_0015_0028__A_R_0015_0029__POLICY)
      & r_0015_0028__a_r_0015_0029__policy(R_0015_0028__A_R_0015_0029__POLICY)
      & has_r_0015_0030__of(R_0015_0028__A_R_0015_0029__POLICY,R_0015_0031__CHANGE)
      & has_arg0(R_0015_0025__IS_R_0015_0026__INSISTING_R_0015_0027__ON,R_0015_0017__THE_R_0015_0019__SECRETARY)
      & has_conj1(R_0015_0016__BUT,R_0015_0003__IS)
      & r_0015_0003__is(R_0015_0003__IS)
      & has_prd(R_0015_0003__IS,R_0015_0005__OPPOSED)
      & r_0015_0005__opposed(R_0015_0005__OPPOSED)
      & has_r_0015_0006__to(R_0015_0005__OPPOSED,R_0015_0007__AFRICANS)
      & r_0015_0007__Africans(R_0015_0007__AFRICANS)
      & has_inv_arg0(R_0015_0007__AFRICANS,R_0015_0008__GETTING)
      & r_0015_0008__getting(R_0015_0008__GETTING)
      & has_r_0015_0012__in__nim(R_0015_0008__GETTING,R_0015_0013__NORTHERN_R_0015_0014__RHODESIA)
      & has_arg1(R_0015_0008__GETTING,R_0015_0009__AN_R_0015_0011__MAJORITY)
      & r_0015_0009__an_r_0015_0011__majority(R_0015_0009__AN_R_0015_0011__MAJORITY)
      & has_attrib(R_0015_0009__AN_R_0015_0011__MAJORITY,R_0015_0010__ELECTED)
      & has_qual(R_0015_0005__OPPOSED,R_0015_0004__VIOLENTLY)
      & has_arg0(R_0015_0003__IS,R_0015_0001__SIR_R_0015_0002__ROY) ) ).