Context                Previous, Next                Top


11_a_lob_a01
Africans drop rivalry to fight Sir Roy.

%3 r_0011_0002__drop drop r_0011_0001__Africans Africans r_0011_0002__drop->r_0011_0001__Africans [arg0] r_0011_0003__rivalry rivalry r_0011_0002__drop->r_0011_0003__rivalry [arg1] r_0011_0004__to_r_0011_0005__fight to fight r_0011_0004__to_r_0011_0005__fight->r_0011_0001__Africans [arg0] r_0011_0006__Sir_r_0011_0007__Roy Sir Roy r_0011_0004__to_r_0011_0005__fight->r_0011_0006__Sir_r_0011_0007__Roy [arg1] z_000_11_a_lob_a01_10 z_000_11_a_lob_a01_10->r_0011_0002__drop [scope] z_000_11_a_lob_a01_10->r_0011_0004__to_r_0011_0005__fight [restriction] 
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).


%3 z_000_11_a_lob_a01_10 r_0011_0004__to_r_0011_0005__fight to fight z_000_11_a_lob_a01_10->r_0011_0004__to_r_0011_0005__fight [conj1] r_0011_0002__drop drop z_000_11_a_lob_a01_10->r_0011_0002__drop [conj2] r_0011_0006__Sir_r_0011_0007__Roy Sir Roy r_0011_0004__to_r_0011_0005__fight->r_0011_0006__Sir_r_0011_0007__Roy [arg1] r_0011_0001__Africans Africans r_0011_0004__to_r_0011_0005__fight->r_0011_0001__Africans [arg0] r_0011_0002__drop->r_0011_0001__Africans [arg0] r_0011_0003__rivalry rivalry r_0011_0002__drop->r_0011_0003__rivalry [arg1] 
fof(formula,axiom,
    ? [Z_11_A_LOB_A01_10,R_11_4_TO_FIGHT,R_11_6_SIR_ROY,R_11_2_DROP,R_11_1_AFRICANS,R_11_3_RIVALRY] :
      ( sir_Roy(R_11_6_SIR_ROY)
      & africans(R_11_1_AFRICANS)
      & rivalry(R_11_3_RIVALRY)
      & z_11_a_lob_a01_10(Z_11_A_LOB_A01_10)
      & conj1(Z_11_A_LOB_A01_10,R_11_4_TO_FIGHT)
      & to_fight(R_11_4_TO_FIGHT,R_11_1_AFRICANS,R_11_6_SIR_ROY)
      & conj2(Z_11_A_LOB_A01_10,R_11_2_DROP)
      & drop(R_11_2_DROP,R_11_1_AFRICANS,R_11_3_RIVALRY) ) ).


n11_a_lob_a01 n11_a_lob_a01__1_1_1_1 Africans n11_a_lob_a01__1_2_1 drop n11_a_lob_a01__1_3_1_1 rivalry n11_a_lob_a01__1_4_1_1_1 to n11_a_lob_a01__1_4_1_2_1 fight n11_a_lob_a01__1_4_1_3_1_1 Sir n11_a_lob_a01__1_4_1_3_2_1 Roy n11_a_lob_a01__1_5_1 . n11_a_lob_a01__1 IP-MAT n11_a_lob_a01__1_1 NP-SBJ n11_a_lob_a01__1->n11_a_lob_a01__1_1 n11_a_lob_a01__1_2 VBP;_Tn_ n11_a_lob_a01__1->n11_a_lob_a01__1_2 n11_a_lob_a01__1_3 NP-OB1 n11_a_lob_a01__1->n11_a_lob_a01__1_3 n11_a_lob_a01__1_4 PP-SCON n11_a_lob_a01__1->n11_a_lob_a01__1_4 n11_a_lob_a01__1_5 PUNC n11_a_lob_a01__1->n11_a_lob_a01__1_5 n11_a_lob_a01__1_1_1 NS n11_a_lob_a01__1_1->n11_a_lob_a01__1_1_1 n11_a_lob_a01__1_1_1->n11_a_lob_a01__1_1_1_1 n11_a_lob_a01__1_2->n11_a_lob_a01__1_2_1 n11_a_lob_a01__1_3_1 N n11_a_lob_a01__1_3->n11_a_lob_a01__1_3_1 n11_a_lob_a01__1_3_1->n11_a_lob_a01__1_3_1_1 n11_a_lob_a01__1_4_1 IP-INF2 n11_a_lob_a01__1_4->n11_a_lob_a01__1_4_1 n11_a_lob_a01__1_4_1_1 TO n11_a_lob_a01__1_4_1->n11_a_lob_a01__1_4_1_1 n11_a_lob_a01__1_4_1_2 VB;_Tn_ n11_a_lob_a01__1_4_1->n11_a_lob_a01__1_4_1_2 n11_a_lob_a01__1_4_1_3 NP-OB1 n11_a_lob_a01__1_4_1->n11_a_lob_a01__1_4_1_3 n11_a_lob_a01__1_4_1_1->n11_a_lob_a01__1_4_1_1_1 n11_a_lob_a01__1_4_1_2->n11_a_lob_a01__1_4_1_2_1 n11_a_lob_a01__1_4_1_3_1 N n11_a_lob_a01__1_4_1_3->n11_a_lob_a01__1_4_1_3_1 n11_a_lob_a01__1_4_1_3_2 NPR n11_a_lob_a01__1_4_1_3->n11_a_lob_a01__1_4_1_3_2 n11_a_lob_a01__1_4_1_3_1->n11_a_lob_a01__1_4_1_3_1_1 n11_a_lob_a01__1_4_1_3_2->n11_a_lob_a01__1_4_1_3_2_1 n11_a_lob_a01__1_5->n11_a_lob_a01__1_5_1 
( (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))