TSPC 8_a_artb_4_a1

8_a_artb_4_a1_e1
The e - commerce free zone is situated in north Dubai, near the industrial free zone in Jebel Ali, the top regional and tenth international leading area in container transit.

arc(r_0008_0001__The_r_0008_0002__e_r_0008_0004__commerce_r_0008_0006__zone, r_0008_0005__free, attrib11).
arc(r_0008_0007__is, r_0008_0008__situated, scope).
arc(r_0008_0008__situated, r_0008_0001__The_r_0008_0002__e_r_0008_0004__commerce_r_0008_0006__zone, arg1).
arc(r_0008_0008__situated, r_0008_0011__Dubai, r_0008_0009__in_clr26).
arc(r_0008_0008__situated, r_0008_0014__the_r_0008_0017__zone, r_0008_0013__near_nim37).
arc(r_0008_0008__situated, z_000_8_a_artb_4_a1_e1_19, arg0).
arc(r_0008_0011__Dubai, r_0008_0010__north, attrib27).
arc(r_0008_0014__the_r_0008_0017__zone, r_0008_0015__industrial, attrib40).
arc(r_0008_0014__the_r_0008_0017__zone, r_0008_0016__free, attrib43).
arc(r_0008_0014__the_r_0008_0017__zone, r_0008_0019__Jebel_r_0008_0020__Ali, r_0008_0018__in).
arc(r_0008_0022__the_r_0008_0029__area, r_0008_0028__leading, attrib62).
arc(r_0008_0022__the_r_0008_0029__area, r_0008_0031__container_r_0008_0032__transit, r_0008_0030__in).
arc(r_0008_0024__regional, r_0008_0023__top, nim67).
arc(r_0008_0025__and, r_0008_0024__regional, conj1).
arc(r_0008_0025__and, r_0008_0027__international, conj2).
arc(r_0008_0027__international, r_0008_0026__tenth, nim76).
arc(r_0008_0028__leading, z_000_8_a_artb_4_a1_e1_63, nim63).
arc(z_000_8_a_artb_4_a1_e1_58, r_0008_0014__the_r_0008_0017__zone, arg0).
arc(z_000_8_a_artb_4_a1_e1_58, r_0008_0022__the_r_0008_0029__area, prd).
arc(z_000_8_a_artb_4_a1_e1_63, r_0008_0025__and, attrib64).

fof(formula,axiom,
    ? [R_8_7_IS_SITUATED,Z_8_A_ARTB_4_A1_E1_19,R_8_1_THE_E_COMMERCE_ZONE,R_8_5_FREE,R_8_11_DUBAI,R_8_10_NORTH,Z_8_A_ARTB_4_A1_E1_58,R_8_14_THE_ZONE,R_8_15_INDUSTRIAL,R_8_16_FREE,R_8_19_JEBEL_ALI,R_8_22_THE_AREA,R_8_28_LEADING,Z_8_A_ARTB_4_A1_E1_63,R_8_25_AND,R_8_24_REGIONAL,R_8_23_TOP,R_8_27_INTERNATIONAL,R_8_26_TENTH,R_8_31_CONTAINER_TRANSIT] :
      ( free(R_8_5_FREE)
      & north(R_8_10_NORTH)
      & industrial(R_8_15_INDUSTRIAL)
      & free(R_8_16_FREE)
      & jebel_Ali(R_8_19_JEBEL_ALI)
      & top(R_8_23_TOP)
      & tenth(R_8_26_TENTH)
      & container_transit(R_8_31_CONTAINER_TRANSIT)
      & is_situated(R_8_7_IS_SITUATED,Z_8_A_ARTB_4_A1_E1_19,R_8_1_THE_E_COMMERCE_ZONE)
      & the_e_commerce_zone(R_8_1_THE_E_COMMERCE_ZONE)
      & attrib11(R_8_1_THE_E_COMMERCE_ZONE,R_8_5_FREE)
      & in_clr26(R_8_7_IS_SITUATED,R_8_11_DUBAI)
      & dubai(R_8_11_DUBAI)
      & attrib27(R_8_11_DUBAI,R_8_10_NORTH)
      & near_nim37(R_8_7_IS_SITUATED,R_8_14_THE_ZONE)
      & the_zone(R_8_14_THE_ZONE)
      & attrib40(R_8_14_THE_ZONE,R_8_15_INDUSTRIAL)
      & attrib43(R_8_14_THE_ZONE,R_8_16_FREE)
      & in(R_8_14_THE_ZONE,R_8_19_JEBEL_ALI)
      & z_8_a_artb_4_a1_e1_58(Z_8_A_ARTB_4_A1_E1_58,R_8_14_THE_ZONE,R_8_22_THE_AREA)
      & the_area(R_8_22_THE_AREA)
      & attrib62(R_8_22_THE_AREA,R_8_28_LEADING)
      & leading(R_8_28_LEADING)
      & nim63(R_8_28_LEADING,Z_8_A_ARTB_4_A1_E1_63)
      & z_8_a_artb_4_a1_e1_63(Z_8_A_ARTB_4_A1_E1_63)
      & attrib64(Z_8_A_ARTB_4_A1_E1_63,R_8_25_AND)
      & and(R_8_25_AND)
      & conj1(R_8_25_AND,R_8_24_REGIONAL)
      & regional(R_8_24_REGIONAL)
      & nim67(R_8_24_REGIONAL,R_8_23_TOP)
      & conj2(R_8_25_AND,R_8_27_INTERNATIONAL)
      & international(R_8_27_INTERNATIONAL)
      & nim76(R_8_27_INTERNATIONAL,R_8_26_TENTH)
      & in(R_8_22_THE_AREA,R_8_31_CONTAINER_TRANSIT) ) ).

( (IP-MAT (NP-SBJ;{ZONE} (D The;{the})
                         (N e)
                         (PUNC <hyphen>)
                         (N commerce;{commerce})
                         (ADJP (ADJ free;{free}))
                         (N zone;{zone}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ situated;{situate[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (ADJP (ADJ north;{north}))
                                  (NPR Dubai;{Dubai})))
                      (PUNC ,)
                      (PP-NIM (P-ROLE near;{near})
                              (NP (D the;{the})
                                  (ADJP (ADJ industrial;{industrial}))
                                  (ADJP (ADJ free;{free}))
                                  (N zone;{zone})
                                  (PP (P-ROLE in;{in})
                                      (NP (NPR Jebel;{Jebel})
                                          (NPR Ali;{Ali})))
                                  (PUNC ,)
                                  (IP-PPL (NP-PRD (D the;{the})
                                                  (ADJP (NP (ADJP (AJLYR (AJLYR (NP (N top;{top}))
                                                                                (ADJ regional;{regional}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (AJLYR (NP (NUM tenth;{tenth}))
                                                                                       (ADJ international;{international}))))))
                                                        (ADJ leading;{leading}))
                                                  (N area;{area})
                                                  (PP (P-ROLE in;{in})
                                                      (NP (N container;{container})
                                                          (N transit;{transit}))))))))
          (PUNC .))
  (ID 8_a_artb_4_a1_e1))