Context                Previous, Next                Top


2_a_artb_4_a1_e2
Dubai 01-82 (AFP) -

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_1 -LRB- n2_a_artb_4_a1_e2__1_3_2_1 AFP n2_a_artb_4_a1_e2__1_3_3_1 -RRB- n2_a_artb_4_a1_e2__1_4_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 NP n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_3 n2_a_artb_4_a1_e2__1_4 PUNC n2_a_artb_4_a1_e2__1->n2_a_artb_4_a1_e2__1_4 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_1 PULB n2_a_artb_4_a1_e2__1_3->n2_a_artb_4_a1_e2__1_3_1 n2_a_artb_4_a1_e2__1_3_2 NPR n2_a_artb_4_a1_e2__1_3->n2_a_artb_4_a1_e2__1_3_2 n2_a_artb_4_a1_e2__1_3_3 PURB n2_a_artb_4_a1_e2__1_3->n2_a_artb_4_a1_e2__1_3_3 n2_a_artb_4_a1_e2__1_3_1->n2_a_artb_4_a1_e2__1_3_1_1 n2_a_artb_4_a1_e2__1_3_2->n2_a_artb_4_a1_e2__1_3_2_1 n2_a_artb_4_a1_e2__1_3_3->n2_a_artb_4_a1_e2__1_3_3_1 n2_a_artb_4_a1_e2__1_4->n2_a_artb_4_a1_e2__1_4_1 
( (FRAG (NP-NIM (NPR Dubai;{Dubai}))
        (NP-NIM (NUM 01_<hyphen>_82))
        (NP (PULB -LRB-)
            (NPR AFP;{AFP})
            (PURB -RRB-))
        (PUNC <hyphen>))
  (ID 2_a_artb_4_a1_e2))


%3 z_0002_5004 r_0002_0004__AFP AFP z_0002_5004->r_0002_0004__AFP r_0002_0002__01__hyphen__82 01-82 z_0002_5004->r_0002_0002__01__hyphen__82 [nim] r_0002_0001__Dubai Dubai z_0002_5004->r_0002_0001__Dubai [nim] 
arc(z_0002_5004,r_0002_0001__Dubai,nim).
arc(z_0002_5004,r_0002_0002__01__hyphen__82,nim).
arc(z_0002_5004,r_0002_0004__AFP,z_0002_5002).


%3 z_0002_5004 r_0002_0001__Dubai Dubai z_0002_5004->r_0002_0001__Dubai [nim] r_0002_0002__01__hyphen__82 01-82 z_0002_5004->r_0002_0002__01__hyphen__82 [nim] r_0002_0004__AFP AFP z_0002_5004->r_0002_0004__AFP 
fof(formula,axiom,
    ? [R_0002_0001__DUBAI,R_0002_0002__01__HYPHEN__82,R_0002_0004__AFP,Z_0002_5004] :
      ( 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_0002_5004(Z_0002_5004)
      & has_z_0002_5002(Z_0002_5004,R_0002_0004__AFP)
      & has_nim(Z_0002_5004,R_0002_0002__01__HYPHEN__82)
      & has_nim(Z_0002_5004,R_0002_0001__DUBAI) ) ).