Context                Previous, Next                Top


89_a_lob_a02
In Africa a clash:

%3 z_000_89_a_lob_a02_1 r_0089_0002__Africa Africa z_000_89_a_lob_a02_1->r_0089_0002__Africa In [nim] r_0089_0003__a_r_0089_0004__clash a clash z_000_89_a_lob_a02_1->r_0089_0003__a_r_0089_0004__clash [nim] 
arc(z_000_89_a_lob_a02_1, r_0089_0002__Africa, r_0089_0001__In_nim5).
arc(z_000_89_a_lob_a02_1, r_0089_0003__a_r_0089_0004__clash, nim8).


%3 z_000_89_a_lob_a02_1 r_0089_0003__a_r_0089_0004__clash a clash z_000_89_a_lob_a02_1->r_0089_0003__a_r_0089_0004__clash [nim] r_0089_0002__Africa Africa z_000_89_a_lob_a02_1->r_0089_0002__Africa In [nim] 
fof(formula,axiom,
    ? [Z_89_A_LOB_A02_1,R_89_3_A_CLASH,R_89_2_AFRICA] :
      ( a_clash(R_89_3_A_CLASH)
      & africa(R_89_2_AFRICA)
      & z_89_a_lob_a02_1(Z_89_A_LOB_A02_1)
      & nim8(Z_89_A_LOB_A02_1,R_89_3_A_CLASH)
      & in_nim5(Z_89_A_LOB_A02_1,R_89_2_AFRICA) ) ).


n89_a_lob_a02 n89_a_lob_a02__1_1_1_1 In n89_a_lob_a02__1_1_2_1_1 Africa n89_a_lob_a02__1_2_1_1 a n89_a_lob_a02__1_2_2_1 clash n89_a_lob_a02__1_3_1 : n89_a_lob_a02__1 FRAG n89_a_lob_a02__1_1 PP-NIM n89_a_lob_a02__1->n89_a_lob_a02__1_1 n89_a_lob_a02__1_2 NP n89_a_lob_a02__1->n89_a_lob_a02__1_2 n89_a_lob_a02__1_3 PUNC n89_a_lob_a02__1->n89_a_lob_a02__1_3 n89_a_lob_a02__1_1_1 P-ROLE n89_a_lob_a02__1_1->n89_a_lob_a02__1_1_1 n89_a_lob_a02__1_1_2 NP n89_a_lob_a02__1_1->n89_a_lob_a02__1_1_2 n89_a_lob_a02__1_1_1->n89_a_lob_a02__1_1_1_1 n89_a_lob_a02__1_1_2_1 NPR n89_a_lob_a02__1_1_2->n89_a_lob_a02__1_1_2_1 n89_a_lob_a02__1_1_2_1->n89_a_lob_a02__1_1_2_1_1 n89_a_lob_a02__1_2_1 D n89_a_lob_a02__1_2->n89_a_lob_a02__1_2_1 n89_a_lob_a02__1_2_2 N n89_a_lob_a02__1_2->n89_a_lob_a02__1_2_2 n89_a_lob_a02__1_2_1->n89_a_lob_a02__1_2_1_1 n89_a_lob_a02__1_2_2->n89_a_lob_a02__1_2_2_1 n89_a_lob_a02__1_3->n89_a_lob_a02__1_3_1 
( (FRAG (PP-NIM (P-ROLE In;{in})
                (NP (NPR Africa;{Africa})))
        (NP (D a;{a})
            (N clash;{clash}))
        (PUNC :))
  (ID 89_a_lob_a02))