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_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] 
fof(formula,axiom,
    ? [Z_2_A_ARTB_4_A1_E2_1,R_2_4_AFP,R_2_1_DUBAI,R_2_2_1_HYPHEN_82] :
      ( aFP(R_2_4_AFP)
      & dubai(R_2_1_DUBAI)
      & 01_hyphen_82(R_2_2_1_HYPHEN_82)
      & z_2_a_artb_4_a1_e2_1(Z_2_A_ARTB_4_A1_E2_1)
      & nim10(Z_2_A_ARTB_4_A1_E2_1,R_2_4_AFP)
      & nim2(Z_2_A_ARTB_4_A1_E2_1,R_2_1_DUBAI)
      & nim5(Z_2_A_ARTB_4_A1_E2_1,R_2_2_1_HYPHEN_82) ) ).


n2_a_artb_4_a1_e2 n2_a_artb_4_a1_e2_4 Dubai n2_a_artb_4_a1_e2_7 01-82 n2_a_artb_4_a1_e2_9 -LRB- n2_a_artb_4_a1_e2_12 AFP n2_a_artb_4_a1_e2_14 -RRB- n2_a_artb_4_a1_e2_16 - n2_a_artb_4_a1_e2_1 FRAG n2_a_artb_4_a1_e2_2 NP-NIM n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_2 n2_a_artb_4_a1_e2_5 NP-NIM n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_5 n2_a_artb_4_a1_e2_8 PULB n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_8 n2_a_artb_4_a1_e2_10 NP n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_10 n2_a_artb_4_a1_e2_13 PURB n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_13 n2_a_artb_4_a1_e2_15 PUNC n2_a_artb_4_a1_e2_1->n2_a_artb_4_a1_e2_15 n2_a_artb_4_a1_e2_3 NPR n2_a_artb_4_a1_e2_2->n2_a_artb_4_a1_e2_3 n2_a_artb_4_a1_e2_3->n2_a_artb_4_a1_e2_4 n2_a_artb_4_a1_e2_6 NUM n2_a_artb_4_a1_e2_5->n2_a_artb_4_a1_e2_6 n2_a_artb_4_a1_e2_6->n2_a_artb_4_a1_e2_7 n2_a_artb_4_a1_e2_8->n2_a_artb_4_a1_e2_9 n2_a_artb_4_a1_e2_11 NPR n2_a_artb_4_a1_e2_10->n2_a_artb_4_a1_e2_11 n2_a_artb_4_a1_e2_11->n2_a_artb_4_a1_e2_12 n2_a_artb_4_a1_e2_13->n2_a_artb_4_a1_e2_14 n2_a_artb_4_a1_e2_15->n2_a_artb_4_a1_e2_16 
( (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))