( (IP-MAT (NP-SBJ (NS Africans;{african}))
          (VBP;_Tn_ drop;{drop})
          (NP-OB1 (N rivalry;{rivalry}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Tn_ fight;{fight})
                            (NP-OB1 (N Sir;{sir})
                                    (NPR Roy;{Roy}))))
          (PUNC .))
  (ID 11_a_lob_a01))

arc(r_0011_0002__drop,r_0011_0001__Africans,arg0).
arc(r_0011_0002__drop,r_0011_0003__rivalry,arg1).
arc(r_0011_0005__fight,r_0011_0001__Africans,arg0).
arc(r_0011_0005__fight,r_0011_0006__Sir_r_0011_0007__Roy,arg1).
arc(z_0011_5003,r_0011_0002__drop,scope).
arc(z_0011_5003,r_0011_0005__fight,restriction).

fof(formula,axiom,
    ? [R_0011_0001__AFRICANS,R_0011_0003__RIVALRY,R_0011_0002__DROP,R_0011_0006__SIR_R_0011_0007__ROY,R_0011_0005__FIGHT,Z_0011_5003] :
      ( r_0011_0001__Africans(R_0011_0001__AFRICANS)
      & r_0011_0003__rivalry(R_0011_0003__RIVALRY)
      & r_0011_0006__Sir_r_0011_0007__Roy(R_0011_0006__SIR_R_0011_0007__ROY)
      & z_0011_5003(Z_0011_5003)
      & has_conj1(Z_0011_5003,R_0011_0005__FIGHT)
      & r_0011_0005__fight(R_0011_0005__FIGHT)
      & has_arg1(R_0011_0005__FIGHT,R_0011_0006__SIR_R_0011_0007__ROY)
      & has_arg0(R_0011_0005__FIGHT,R_0011_0001__AFRICANS)
      & has_conj2(Z_0011_5003,R_0011_0002__DROP)
      & r_0011_0002__drop(R_0011_0002__DROP)
      & has_arg1(R_0011_0002__DROP,R_0011_0003__RIVALRY)
      & has_arg0(R_0011_0002__DROP,R_0011_0001__AFRICANS) ) ).