Context                Previous, Next                Top


2_a_artb_4_a1_e1
Dubai 10-28 (FP) -

%3 z_000_2_a_artb_4_a1_e1_1 r_0002_0001__Dubai Dubai z_000_2_a_artb_4_a1_e1_1->r_0002_0001__Dubai [nim] r_0002_0002__10__hyphen__28 10-28 z_000_2_a_artb_4_a1_e1_1->r_0002_0002__10__hyphen__28 [nim] r_0002_0004__FP FP z_000_2_a_artb_4_a1_e1_1->r_0002_0004__FP [nim] 
arc(z_000_2_a_artb_4_a1_e1_1, r_0002_0001__Dubai, nim2).
arc(z_000_2_a_artb_4_a1_e1_1, r_0002_0002__10__hyphen__28, nim5).
arc(z_000_2_a_artb_4_a1_e1_1, r_0002_0004__FP, nim10).


%3 z_000_2_a_artb_4_a1_e1_1 r_0002_0004__FP FP z_000_2_a_artb_4_a1_e1_1->r_0002_0004__FP [nim] r_0002_0002__10__hyphen__28 10-28 z_000_2_a_artb_4_a1_e1_1->r_0002_0002__10__hyphen__28 [nim] r_0002_0001__Dubai Dubai z_000_2_a_artb_4_a1_e1_1->r_0002_0001__Dubai [nim] 
fof(formula,axiom,
    ? [Z_2_A_ARTB_4_A1_E1_1,R_2_4_FP,R_2_1_DUBAI,R_2_2_10_HYPHEN_28] :
      ( fP(R_2_4_FP)
      & dubai(R_2_1_DUBAI)
      & 10_hyphen_28(R_2_2_10_HYPHEN_28)
      & z_2_a_artb_4_a1_e1_1(Z_2_A_ARTB_4_A1_E1_1)
      & nim10(Z_2_A_ARTB_4_A1_E1_1,R_2_4_FP)
      & nim2(Z_2_A_ARTB_4_A1_E1_1,R_2_1_DUBAI)
      & nim5(Z_2_A_ARTB_4_A1_E1_1,R_2_2_10_HYPHEN_28) ) ).


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 -LRB- n2_a_artb_4_a1_e1__1_4_1_1 FP n2_a_artb_4_a1_e1__1_5_1 -RRB- n2_a_artb_4_a1_e1__1_6_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 PULB n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_3 n2_a_artb_4_a1_e1__1_4 NP n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_4 n2_a_artb_4_a1_e1__1_5 PURB n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_5 n2_a_artb_4_a1_e1__1_6 PUNC n2_a_artb_4_a1_e1__1->n2_a_artb_4_a1_e1__1_6 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->n2_a_artb_4_a1_e1__1_3_1 n2_a_artb_4_a1_e1__1_4_1 NPR n2_a_artb_4_a1_e1__1_4->n2_a_artb_4_a1_e1__1_4_1 n2_a_artb_4_a1_e1__1_4_1->n2_a_artb_4_a1_e1__1_4_1_1 n2_a_artb_4_a1_e1__1_5->n2_a_artb_4_a1_e1__1_5_1 n2_a_artb_4_a1_e1__1_6->n2_a_artb_4_a1_e1__1_6_1 
( (FRAG (NP-NIM (NPR Dubai;{Dubai}))
        (NP-NIM (NUM 10_<hyphen>_28))
        (PULB -LRB-)
        (NP (NPR FP;{FP}))
        (PURB -RRB-)
        (PUNC <hyphen>))
  (ID 2_a_artb_4_a1_e1))