TSPC 13_a_lob

13_a_lob_a01
The two rival African nationalist parties of Northern Rhodesia have agreed to get together to face the challenge from Sir Roy Welensky, the federal Premier.

( (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 ,)
                                           (PRN (NP (D the;{the})
                                                    (ADJP (ADJ federal;{federal}))
                                                    (N Premier;{premier}))))))))
          (PUNC .))
  (ID 13_a_lob_a01))

arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties,r_0013_0003__rival,attrib).
arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties,r_0013_0004__African,attrib).
arc(r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties,r_0013_0005__nationalist,attrib).
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_0013__get_r_0013_0014__together,clr).
arc(r_0013_0013__get_r_0013_0014__together,r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties,arg0).
arc(r_0013_0016__face,r_0013_0001__The_r_0013_0002__two_r_0013_0006__parties,arg0).
arc(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,attrib).
arc(z_0013_5005,r_0013_0010__have,scope).
arc(z_0013_5005,r_0013_0016__face,restriction).
arc(z_0013_5010,r_0013_0020__Sir_r_0013_0021__Roy_r_0013_0022__Welensky,arg0).
arc(z_0013_5010,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_0013__GET_R_0013_0014__TOGETHER,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_0016__FACE,Z_0013_5005,R_0013_0025__FEDERAL,R_0013_0024__THE_R_0013_0026__PREMIER,Z_0013_5010] :
      ( 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_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_0013_5010(Z_0013_5010)
      & has_prd(Z_0013_5010,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_attrib(R_0013_0024__THE_R_0013_0026__PREMIER,R_0013_0025__FEDERAL)
      & has_arg0(Z_0013_5010,R_0013_0020__SIR_R_0013_0021__ROY_R_0013_0022__WELENSKY)
      & z_0013_5005(Z_0013_5005)
      & has_conj1(Z_0013_5005,R_0013_0016__FACE)
      & r_0013_0016__face(R_0013_0016__FACE)
      & has_arg1(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_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_attrib(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0005__NATIONALIST)
      & has_attrib(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0004__AFRICAN)
      & has_attrib(R_0013_0001__THE_R_0013_0002__TWO_R_0013_0006__PARTIES,R_0013_0003__RIVAL)
      & has_conj2(Z_0013_5005,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_clr(R_0013_0010__HAVE_R_0013_0011__AGREED,R_0013_0013__GET_R_0013_0014__TOGETHER)
      & r_0013_0013__get_r_0013_0014__together(R_0013_0013__GET_R_0013_0014__TOGETHER)
      & has_arg0(R_0013_0013__GET_R_0013_0014__TOGETHER,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) ) ).