Context                Previous, Next                Top


2_a_artb_4_a1_e1
Dubai 10-28 (FP) -

n2_a_artb_4_a1_e1 n2_a_artb_4_a1_e1__1_1_1_1 Dubai n2_a_artb_4_a1_e1__1_2_1_1 10-28 n2_a_artb_4_a1_e1__1_3_1_1 -LRB- n2_a_artb_4_a1_e1__1_3_2_1 FP n2_a_artb_4_a1_e1__1_3_3_1 -RRB- n2_a_artb_4_a1_e1__1_4_1 - n2_a_artb_4_a1_e1__1 FRAG n2_a_artb_4_a1_e1__1_1 NP-NIM n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_1 n2_a_artb_4_a1_e1__1_2 NP-NIM n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_2 n2_a_artb_4_a1_e1__1_3 NP n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_3 n2_a_artb_4_a1_e1__1_4 PUNC n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_4 n2_a_artb_4_a1_e1__1_1_1 NPR n2_a_artb_4_a1_e1__1_1->n2_a_artb_4_a1_e1__1_1_1 n2_a_artb_4_a1_e1__1_1_1->n2_a_artb_4_a1_e1__1_1_1_1 n2_a_artb_4_a1_e1__1_2_1 NUM n2_a_artb_4_a1_e1__1_2->n2_a_artb_4_a1_e1__1_2_1 n2_a_artb_4_a1_e1__1_2_1->n2_a_artb_4_a1_e1__1_2_1_1 n2_a_artb_4_a1_e1__1_3_1 PULB n2_a_artb_4_a1_e1__1_3->n2_a_artb_4_a1_e1__1_3_1 n2_a_artb_4_a1_e1__1_3_2 NPR n2_a_artb_4_a1_e1__1_3->n2_a_artb_4_a1_e1__1_3_2 n2_a_artb_4_a1_e1__1_3_3 PURB n2_a_artb_4_a1_e1__1_3->n2_a_artb_4_a1_e1__1_3_3 n2_a_artb_4_a1_e1__1_3_1->n2_a_artb_4_a1_e1__1_3_1_1 n2_a_artb_4_a1_e1__1_3_2->n2_a_artb_4_a1_e1__1_3_2_1 n2_a_artb_4_a1_e1__1_3_3->n2_a_artb_4_a1_e1__1_3_3_1 n2_a_artb_4_a1_e1__1_4->n2_a_artb_4_a1_e1__1_4_1 
( (FRAG (NP-NIM (NPR Dubai;{Dubai}))
        (NP-NIM (NUM 10_<hyphen>_28))
        (NP (PULB -LRB-)
            (NPR FP;{FP})
            (PURB -RRB-))
        (PUNC <hyphen>))
  (ID 2_a_artb_4_a1_e1))


%3 z_0002_5004 r_0002_0004__FP FP z_0002_5004->r_0002_0004__FP r_0002_0002__10__hyphen__28 10-28 z_0002_5004->r_0002_0002__10__hyphen__28 [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__10__hyphen__28,nim).
arc(z_0002_5004,r_0002_0004__FP,z_0002_5002).


%3 z_0002_5004 r_0002_0001__Dubai Dubai z_0002_5004->r_0002_0001__Dubai [nim] r_0002_0002__10__hyphen__28 10-28 z_0002_5004->r_0002_0002__10__hyphen__28 [nim] r_0002_0004__FP FP z_0002_5004->r_0002_0004__FP 
fof(formula,axiom,
    ? [R_0002_0001__DUBAI,R_0002_0002__10__HYPHEN__28,R_0002_0004__FP,Z_0002_5004] :
      ( r_0002_0001__Dubai(R_0002_0001__DUBAI)
      & r_0002_0002__10__hyphen__28(R_0002_0002__10__HYPHEN__28)
      & r_0002_0004__FP(R_0002_0004__FP)
      & z_0002_5004(Z_0002_5004)
      & has_z_0002_5002(Z_0002_5004,R_0002_0004__FP)
      & has_nim(Z_0002_5004,R_0002_0002__10__HYPHEN__28)
      & has_nim(Z_0002_5004,R_0002_0001__DUBAI) ) ).