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_0008_0005__FREE,R_0008_0001__THE_R_0008_0002__E_R_0008_0004__COMMERCE_R_0008_0006__ZONE,R_0008_0010__NORTH,R_0008_0011__DUBAI,R_0008_0015__INDUSTRIAL,R_0008_0016__FREE,R_0008_0019__JEBEL_R_0008_0020__ALI,R_0008_0014__THE_R_0008_0017__ZONE,Z_000_8_A_ARTB_4_A1_E1_19,R_0008_0007__IS_R_0008_0008__SITUATED,R_0008_0023__TOP,R_0008_0024__REGIONAL,R_0008_0026__TENTH,R_0008_0027__INTERNATIONAL,R_0008_0025__AND,Z_000_8_A_ARTB_4_A1_E1_63,R_0008_0028__LEADING,R_0008_0031__CONTAINER_R_0008_0032__TRANSIT,R_0008_0022__THE_R_0008_0029__AREA,Z_000_8_A_ARTB_4_A1_E1_58] :
      ( r_0008_0005__free(R_0008_0005__FREE)
      & r_0008_0010__north(R_0008_0010__NORTH)
      & r_0008_0015__industrial(R_0008_0015__INDUSTRIAL)
      & r_0008_0016__free(R_0008_0016__FREE)
      & r_0008_0019__Jebel_r_0008_0020__Ali(R_0008_0019__JEBEL_R_0008_0020__ALI)
      & r_0008_0023__top(R_0008_0023__TOP)
      & r_0008_0026__tenth(R_0008_0026__TENTH)
      & r_0008_0031__container_r_0008_0032__transit(R_0008_0031__CONTAINER_R_0008_0032__TRANSIT)
      & z_000_8_a_artb_4_a1_e1_19(Z_000_8_A_ARTB_4_A1_E1_19)
      & z_000_8_a_artb_4_a1_e1_58(Z_000_8_A_ARTB_4_A1_E1_58)
      & has_prd(Z_000_8_A_ARTB_4_A1_E1_58,R_0008_0022__THE_R_0008_0029__AREA)
      & r_0008_0022__the_r_0008_0029__area(R_0008_0022__THE_R_0008_0029__AREA)
      & has_r_0008_0030__in(R_0008_0022__THE_R_0008_0029__AREA,R_0008_0031__CONTAINER_R_0008_0032__TRANSIT)
      & has_attrib62(R_0008_0022__THE_R_0008_0029__AREA,R_0008_0028__LEADING)
      & r_0008_0028__leading(R_0008_0028__LEADING)
      & has_nim63(R_0008_0028__LEADING,Z_000_8_A_ARTB_4_A1_E1_63)
      & z_000_8_a_artb_4_a1_e1_63(Z_000_8_A_ARTB_4_A1_E1_63)
      & has_attrib64(Z_000_8_A_ARTB_4_A1_E1_63,R_0008_0025__AND)
      & r_0008_0025__and(R_0008_0025__AND)
      & has_conj2(R_0008_0025__AND,R_0008_0027__INTERNATIONAL)
      & r_0008_0027__international(R_0008_0027__INTERNATIONAL)
      & has_nim76(R_0008_0027__INTERNATIONAL,R_0008_0026__TENTH)
      & has_conj1(R_0008_0025__AND,R_0008_0024__REGIONAL)
      & r_0008_0024__regional(R_0008_0024__REGIONAL)
      & has_nim67(R_0008_0024__REGIONAL,R_0008_0023__TOP)
      & has_arg0(Z_000_8_A_ARTB_4_A1_E1_58,R_0008_0014__THE_R_0008_0017__ZONE)
      & r_0008_0014__the_r_0008_0017__zone(R_0008_0014__THE_R_0008_0017__ZONE)
      & has_r_0008_0018__in(R_0008_0014__THE_R_0008_0017__ZONE,R_0008_0019__JEBEL_R_0008_0020__ALI)
      & has_attrib43(R_0008_0014__THE_R_0008_0017__ZONE,R_0008_0016__FREE)
      & has_attrib40(R_0008_0014__THE_R_0008_0017__ZONE,R_0008_0015__INDUSTRIAL)
      & r_0008_0007__is_r_0008_0008__situated(R_0008_0007__IS_R_0008_0008__SITUATED)
      & has_arg0(R_0008_0007__IS_R_0008_0008__SITUATED,Z_000_8_A_ARTB_4_A1_E1_19)
      & has_r_0008_0013__near_nim37(R_0008_0007__IS_R_0008_0008__SITUATED,R_0008_0014__THE_R_0008_0017__ZONE)
      & has_r_0008_0009__in_clr26(R_0008_0007__IS_R_0008_0008__SITUATED,R_0008_0011__DUBAI)
      & r_0008_0011__Dubai(R_0008_0011__DUBAI)
      & has_attrib27(R_0008_0011__DUBAI,R_0008_0010__NORTH)
      & has_arg1(R_0008_0007__IS_R_0008_0008__SITUATED,R_0008_0001__THE_R_0008_0002__E_R_0008_0004__COMMERCE_R_0008_0006__ZONE)
      & r_0008_0001__The_r_0008_0002__e_r_0008_0004__commerce_r_0008_0006__zone(R_0008_0001__THE_R_0008_0002__E_R_0008_0004__COMMERCE_R_0008_0006__ZONE)
      & has_attrib11(R_0008_0001__THE_R_0008_0002__E_R_0008_0004__COMMERCE_R_0008_0006__ZONE,R_0008_0005__FREE) ) ).

( (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))