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_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] 
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_4 In n89_a_lob_a02_7 Africa n89_a_lob_a02_10 a n89_a_lob_a02_12 clash n89_a_lob_a02_14 : n89_a_lob_a02_1 FRAG n89_a_lob_a02_2 PP-NIM n89_a_lob_a02_1->n89_a_lob_a02_2 n89_a_lob_a02_8 NP n89_a_lob_a02_1->n89_a_lob_a02_8 n89_a_lob_a02_13 PUNC n89_a_lob_a02_1->n89_a_lob_a02_13 n89_a_lob_a02_3 P-ROLE n89_a_lob_a02_2->n89_a_lob_a02_3 n89_a_lob_a02_5 NP n89_a_lob_a02_2->n89_a_lob_a02_5 n89_a_lob_a02_3->n89_a_lob_a02_4 n89_a_lob_a02_6 NPR n89_a_lob_a02_5->n89_a_lob_a02_6 n89_a_lob_a02_6->n89_a_lob_a02_7 n89_a_lob_a02_9 D n89_a_lob_a02_8->n89_a_lob_a02_9 n89_a_lob_a02_11 N n89_a_lob_a02_8->n89_a_lob_a02_11 n89_a_lob_a02_9->n89_a_lob_a02_10 n89_a_lob_a02_11->n89_a_lob_a02_12 n89_a_lob_a02_13->n89_a_lob_a02_14 
( (FRAG (PP-NIM (P-ROLE In;{in})
                (NP (NPR Africa;{Africa})))
        (NP (D a;{a})
            (N clash;{clash}))
        (PUNC :))
  (ID 89_a_lob_a02))