arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, r_0013_0003__rival, attrib7).
arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, r_0013_0004__African, attrib10).
arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, r_0013_0005__nationalist, attrib13).
arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, r_0013_0008__Northern_r_0013_0009__Rhodesia, r_0013_0007__of).
arc(r_0013_0010__have, r_0013_0011__agreed, scope).
arc(r_0013_0011__agreed, r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, arg0).
arc(r_0013_0011__agreed, r_0013_0012__to_r_0013_0013__get, clr31).
arc(r_0013_0012__to_r_0013_0013__get, r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, arg0).
arc(r_0013_0012__to_r_0013_0013__get, r_0013_0014__together, clr36).
arc(r_0013_0015__to_r_0013_0016__face, r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties, arg0).
arc(r_0013_0015__to_r_0013_0016__face, r_0013_0017__the_r_0013_0018__challenge, arg1).
arc(r_0013_0017__the_r_0013_0018__challenge, r_0013_0020__Sir_r_0013_0021__Roy_r_0013_0022__Welensky, r_0013_0019__from).
arc(r_0013_0024__the_r_0013_0026__Premier, r_0013_0025__federal, attrib66).
arc(z_000_13_a_lob_a01_39, r_0013_0010__have, scope).
arc(z_000_13_a_lob_a01_39, r_0013_0015__to_r_0013_0016__face, restriction).
arc(z_000_13_a_lob_a01_62, r_0013_0020__Sir_r_0013_0021__Roy_r_0013_0022__Welensky, arg0).
arc(z_000_13_a_lob_a01_62, r_0013_0024__the_r_0013_0026__Premier, prd).

fof(formula,axiom,
    ? [R_0013_0003__RIVAL,R_0013_0004__AFRICAN,R_0013_0005__NATIONALIST,R_0013_0008__NORTHERN_R_0013_0009__RHODESIA,R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0014__TOGETHER,R_0013_0012__TO_R_0013_0013__GET,R_0013_0010__HAVE_R_0013_0011__AGREED,R_0013_0020__SIR_R_0013_0021__ROY_R_0013_0022__WELENSKY,R_0013_0017__THE_R_0013_0018__CHALLENGE,R_0013_0015__TO_R_0013_0016__FACE,Z_000_13_A_LOB_A01_39,R_0013_0025__FEDERAL,R_0013_0024__THE_R_0013_0026__PREMIER,Z_000_13_A_LOB_A01_62] :
      ( r_0013_0003__rival(R_0013_0003__RIVAL)
      & r_0013_0004__African(R_0013_0004__AFRICAN)
      & r_0013_0005__nationalist(R_0013_0005__NATIONALIST)
      & r_0013_0008__Northern_r_0013_0009__Rhodesia(R_0013_0008__NORTHERN_R_0013_0009__RHODESIA)
      & r_0013_0014__together(R_0013_0014__TOGETHER)
      & r_0013_0020__Sir_r_0013_0021__Roy_r_0013_0022__Welensky(R_0013_0020__SIR_R_0013_0021__ROY_R_0013_0022__WELENSKY)
      & r_0013_0025__federal(R_0013_0025__FEDERAL)
      & z_000_13_a_lob_a01_62(Z_000_13_A_LOB_A01_62)
      & has_prd(Z_000_13_A_LOB_A01_62,R_0013_0024__THE_R_0013_0026__PREMIER)
      & r_0013_0024__the_r_0013_0026__Premier(R_0013_0024__THE_R_0013_0026__PREMIER)
      & has_attrib66(R_0013_0024__THE_R_0013_0026__PREMIER,R_0013_0025__FEDERAL)
      & has_arg0(Z_000_13_A_LOB_A01_62,R_0013_0020__SIR_R_0013_0021__ROY_R_0013_0022__WELENSKY)
      & z_000_13_a_lob_a01_39(Z_000_13_A_LOB_A01_39)
      & has_conj1(Z_000_13_A_LOB_A01_39,R_0013_0015__TO_R_0013_0016__FACE)
      & r_0013_0015__to_r_0013_0016__face(R_0013_0015__TO_R_0013_0016__FACE)
      & has_arg1(R_0013_0015__TO_R_0013_0016__FACE,R_0013_0017__THE_R_0013_0018__CHALLENGE)
      & r_0013_0017__the_r_0013_0018__challenge(R_0013_0017__THE_R_0013_0018__CHALLENGE)
      & has_r_0013_0019__from(R_0013_0017__THE_R_0013_0018__CHALLENGE,R_0013_0020__SIR_R_0013_0021__ROY_R_0013_0022__WELENSKY)
      & has_arg0(R_0013_0015__TO_R_0013_0016__FACE,R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES)
      & r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES)
      & has_r_0013_0007__of(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0008__NORTHERN_R_0013_0009__RHODESIA)
      & has_attrib13(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0005__NATIONALIST)
      & has_attrib10(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0004__AFRICAN)
      & has_attrib7(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0003__RIVAL)
      & has_conj2(Z_000_13_A_LOB_A01_39,R_0013_0010__HAVE_R_0013_0011__AGREED)
      & r_0013_0010__have_r_0013_0011__agreed(R_0013_0010__HAVE_R_0013_0011__AGREED)
      & has_clr31(R_0013_0010__HAVE_R_0013_0011__AGREED,R_0013_0012__TO_R_0013_0013__GET)
      & r_0013_0012__to_r_0013_0013__get(R_0013_0012__TO_R_0013_0013__GET)
      & has_clr36(R_0013_0012__TO_R_0013_0013__GET,R_0013_0014__TOGETHER)
      & has_arg0(R_0013_0012__TO_R_0013_0013__GET,R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES)
      & has_arg0(R_0013_0010__HAVE_R_0013_0011__AGREED,R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NUM two;{two})
                  (ADJP (ADJ rival;{rival}))
                  (ADJP (ADJ African;{african}))
                  (ADJP (ADJ nationalist;{nationalist}))
                  (NS parties;{party})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Northern;{Northern})
                          (NPR Rhodesia;{Rhodesia}))))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_It_ agreed;{agree})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_Ip_ get;{get[together]})
                                  (ADVP-CLR (ADV together;{together}))))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ face;{face})
                           (NP-OB1 (D the;{the})
                                   (N challenge;{challenge})
                                   (PP (P-ROLE from;{from})
                                       (NP (N Sir;{sir})
                                           (NPR Roy;{Roy})
                                           (NPR Welensky;{Welensky})
                                           (PUNC ,)
                                           (IP-PPL (NP-PRD (D the;{the})
                                                           (ADJP (ADJ federal;{federal}))
                                                           (N Premier;{premier}))))))))
          (PUNC .))
  (ID 13_a_lob_a01))