arc(r_0011_0002__drop, r_0011_0001__Africans, arg0).
arc(r_0011_0002__drop, r_0011_0003__rivalry, arg1).
arc(r_0011_0004__to_r_0011_0005__fight, r_0011_0001__Africans, arg0).
arc(r_0011_0004__to_r_0011_0005__fight, r_0011_0006__Sir_r_0011_0007__Roy, arg1).
arc(z_000_11_a_lob_a01_10, r_0011_0002__drop, scope).
arc(z_000_11_a_lob_a01_10, r_0011_0004__to_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_0004__TO_R_0011_0005__FIGHT,Z_000_11_A_LOB_A01_10] :
      ( 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_000_11_a_lob_a01_10(Z_000_11_A_LOB_A01_10)
      & has_conj1(Z_000_11_A_LOB_A01_10,R_0011_0004__TO_R_0011_0005__FIGHT)
      & r_0011_0004__to_r_0011_0005__fight(R_0011_0004__TO_R_0011_0005__FIGHT)
      & has_arg1(R_0011_0004__TO_R_0011_0005__FIGHT,R_0011_0006__SIR_R_0011_0007__ROY)
      & has_arg0(R_0011_0004__TO_R_0011_0005__FIGHT,R_0011_0001__AFRICANS)
      & has_conj2(Z_000_11_A_LOB_A01_10,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) ) ).

( (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))