Context                Previous, Next                Top


2_a_artb_4_a1_e2
Dubai 01-82 (AFP) -

%3 z_000_2_a_artb_4_a1_e2_1 r_0002_0001__Dubai Dubai z_000_2_a_artb_4_a1_e2_1->r_0002_0001__Dubai [nim] r_0002_0002__01__hyphen__82 01-82 z_000_2_a_artb_4_a1_e2_1->r_0002_0002__01__hyphen__82 [nim] r_0002_0004__AFP AFP z_000_2_a_artb_4_a1_e2_1->r_0002_0004__AFP [nim] 
arc(z_000_2_a_artb_4_a1_e2_1, r_0002_0001__Dubai, nim2).
arc(z_000_2_a_artb_4_a1_e2_1, r_0002_0002__01__hyphen__82, nim5).
arc(z_000_2_a_artb_4_a1_e2_1, r_0002_0004__AFP, nim10).


%3 z_000_2_a_artb_4_a1_e2_1 r_0002_0004__AFP AFP z_000_2_a_artb_4_a1_e2_1->r_0002_0004__AFP [nim] r_0002_0002__01__hyphen__82 01-82 z_000_2_a_artb_4_a1_e2_1->r_0002_0002__01__hyphen__82 [nim] r_0002_0001__Dubai Dubai z_000_2_a_artb_4_a1_e2_1->r_0002_0001__Dubai [nim] 
fof(formula,axiom,
    ? [R_0002_0001__DUBAI,R_0002_0002__01__HYPHEN__82,R_0002_0004__AFP,Z_000_2_A_ARTB_4_A1_E2_1] :
      ( r_0002_0001__Dubai(R_0002_0001__DUBAI)
      & r_0002_0002__01__hyphen__82(R_0002_0002__01__HYPHEN__82)
      & r_0002_0004__AFP(R_0002_0004__AFP)
      & z_000_2_a_artb_4_a1_e2_1(Z_000_2_A_ARTB_4_A1_E2_1)
      & has_nim10(Z_000_2_A_ARTB_4_A1_E2_1,R_0002_0004__AFP)
      & has_nim5(Z_000_2_A_ARTB_4_A1_E2_1,R_0002_0002__01__HYPHEN__82)
      & has_nim2(Z_000_2_A_ARTB_4_A1_E2_1,R_0002_0001__DUBAI) ) ).


n2_a_artb_4_a1_e2 n2_a_artb_4_a1_e2__1_1_1_1 Dubai n2_a_artb_4_a1_e2__1_2_1_1 01-82 n2_a_artb_4_a1_e2__1_3_1 -LRB- n2_a_artb_4_a1_e2__1_4_1_1 AFP n2_a_artb_4_a1_e2__1_5_1 -RRB- n2_a_artb_4_a1_e2__1_6_1 - n2_a_artb_4_a1_e2__1 FRAG n2_a_artb_4_a1_e2__1_1 NP-NIM n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_1 n2_a_artb_4_a1_e2__1_2 NP-NIM n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_2 n2_a_artb_4_a1_e2__1_3 PULB n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_3 n2_a_artb_4_a1_e2__1_4 NP n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_4 n2_a_artb_4_a1_e2__1_5 PURB n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_5 n2_a_artb_4_a1_e2__1_6 PUNC n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_6 n2_a_artb_4_a1_e2__1_1_1 NPR n2_a_artb_4_a1_e2__1_1->n2_a_artb_4_a1_e2__1_1_1 n2_a_artb_4_a1_e2__1_1_1->n2_a_artb_4_a1_e2__1_1_1_1 n2_a_artb_4_a1_e2__1_2_1 NUM n2_a_artb_4_a1_e2__1_2->n2_a_artb_4_a1_e2__1_2_1 n2_a_artb_4_a1_e2__1_2_1->n2_a_artb_4_a1_e2__1_2_1_1 n2_a_artb_4_a1_e2__1_3->n2_a_artb_4_a1_e2__1_3_1 n2_a_artb_4_a1_e2__1_4_1 NPR n2_a_artb_4_a1_e2__1_4->n2_a_artb_4_a1_e2__1_4_1 n2_a_artb_4_a1_e2__1_4_1->n2_a_artb_4_a1_e2__1_4_1_1 n2_a_artb_4_a1_e2__1_5->n2_a_artb_4_a1_e2__1_5_1 n2_a_artb_4_a1_e2__1_6->n2_a_artb_4_a1_e2__1_6_1 
( (FRAG (NP-NIM (NPR Dubai;{Dubai}))
        (NP-NIM (NUM 01_<hyphen>_82))
        (PULB -LRB-)
        (NP (NPR AFP;{AFP}))
        (PURB -RRB-)
        (PUNC <hyphen>))
  (ID 2_a_artb_4_a1_e2))