TSPC 7_a_artb_4_a1

7_a_artb_4_a1_e1
He said companies engaged in e - commerce would be able to set up offices, employ staff and own equipment in the open zone, including fully - owned foreign companies.

arc(r_0007_0002__said, r_0007_0001__He, arg0).
arc(r_0007_0002__said, r_0007_0009__would, arg1).
arc(r_0007_0004__engaged, r_0007_0003__companies, arg1).
arc(r_0007_0004__engaged, r_0007_0006__e_r_0007_0008__commerce, r_0007_0005__in_clr20).
arc(r_0007_0004__engaged, z_000_7_a_artb_4_a1_e1_13, arg0).
arc(r_0007_0009__would, r_0007_0010__be, scope).
arc(r_0007_0010__be, r_0007_0003__companies, arg0).
arc(r_0007_0010__be, r_0007_0011__able, prd).
arc(r_0007_0011__able, r_0007_0019__and, emb37).
arc(r_0007_0013__set_r_0007_0014__up, r_0007_0015__offices, arg1).
arc(r_0007_0013__set_r_0007_0014__up, r_0007_0023__the_r_0007_0025__zone, r_0007_0022__in_nim70).
arc(r_0007_0013__set_r_0007_0014__up, z_000_7_a_artb_4_a1_e1_37, arg0).
arc(r_0007_0017__employ, r_0007_0018__staff, arg1).
arc(r_0007_0017__employ, r_0007_0023__the_r_0007_0025__zone, r_0007_0022__in_nim70).
arc(r_0007_0017__employ, z_000_7_a_artb_4_a1_e1_37, arg0).
arc(r_0007_0019__and, r_0007_0013__set_r_0007_0014__up, conj1).
arc(r_0007_0019__and, r_0007_0017__employ, conj2).
arc(r_0007_0019__and, r_0007_0020__own, conj3).
arc(r_0007_0020__own, r_0007_0021__equipment, arg1).
arc(r_0007_0020__own, r_0007_0023__the_r_0007_0025__zone, r_0007_0022__in_nim70).
arc(r_0007_0020__own, z_000_7_a_artb_4_a1_e1_37, arg0).
arc(r_0007_0023__the_r_0007_0025__zone, r_0007_0024__open, attrib73).
arc(r_0007_0027__including, r_0007_0003__companies, arg0).
arc(r_0007_0027__including, r_0007_0032__companies, arg1).
arc(r_0007_0030__owned, r_0007_0028__fully, qual87).
arc(r_0007_0031__foreign, z_000_7_a_artb_4_a1_e1_85, nim85).
arc(r_0007_0032__companies, r_0007_0031__foreign, attrib84).
arc(z_000_7_a_artb_4_a1_e1_85, r_0007_0030__owned, attrib86).

fof(formula,axiom,
    ? [R_0007_0001__HE,R_0007_0003__COMPANIES,R_0007_0015__OFFICES,R_0007_0024__OPEN,R_0007_0023__THE_R_0007_0025__ZONE,Z_000_7_A_ARTB_4_A1_E1_37,R_0007_0013__SET_R_0007_0014__UP,R_0007_0018__STAFF,R_0007_0017__EMPLOY,R_0007_0021__EQUIPMENT,R_0007_0020__OWN,R_0007_0019__AND,R_0007_0011__ABLE,R_0007_0009__WOULD_R_0007_0010__BE,R_0007_0002__SAID,R_0007_0006__E_R_0007_0008__COMMERCE,Z_000_7_A_ARTB_4_A1_E1_13,R_0007_0004__ENGAGED,R_0007_0028__FULLY,R_0007_0030__OWNED,Z_000_7_A_ARTB_4_A1_E1_85,R_0007_0031__FOREIGN,R_0007_0032__COMPANIES,R_0007_0027__INCLUDING] :
      ( r_0007_0001__He(R_0007_0001__HE)
      & r_0007_0003__companies(R_0007_0003__COMPANIES)
      & r_0007_0006__e_r_0007_0008__commerce(R_0007_0006__E_R_0007_0008__COMMERCE)
      & r_0007_0015__offices(R_0007_0015__OFFICES)
      & r_0007_0018__staff(R_0007_0018__STAFF)
      & r_0007_0021__equipment(R_0007_0021__EQUIPMENT)
      & r_0007_0024__open(R_0007_0024__OPEN)
      & r_0007_0028__fully(R_0007_0028__FULLY)
      & z_000_7_a_artb_4_a1_e1_13(Z_000_7_A_ARTB_4_A1_E1_13)
      & z_000_7_a_artb_4_a1_e1_37(Z_000_7_A_ARTB_4_A1_E1_37)
      & r_0007_0027__including(R_0007_0027__INCLUDING)
      & has_arg1(R_0007_0027__INCLUDING,R_0007_0032__COMPANIES)
      & r_0007_0032__companies(R_0007_0032__COMPANIES)
      & has_attrib84(R_0007_0032__COMPANIES,R_0007_0031__FOREIGN)
      & r_0007_0031__foreign(R_0007_0031__FOREIGN)
      & has_nim85(R_0007_0031__FOREIGN,Z_000_7_A_ARTB_4_A1_E1_85)
      & z_000_7_a_artb_4_a1_e1_85(Z_000_7_A_ARTB_4_A1_E1_85)
      & has_attrib86(Z_000_7_A_ARTB_4_A1_E1_85,R_0007_0030__OWNED)
      & r_0007_0030__owned(R_0007_0030__OWNED)
      & has_qual87(R_0007_0030__OWNED,R_0007_0028__FULLY)
      & has_arg0(R_0007_0027__INCLUDING,R_0007_0003__COMPANIES)
      & r_0007_0004__engaged(R_0007_0004__ENGAGED)
      & has_arg0(R_0007_0004__ENGAGED,Z_000_7_A_ARTB_4_A1_E1_13)
      & has_r_0007_0005__in_clr20(R_0007_0004__ENGAGED,R_0007_0006__E_R_0007_0008__COMMERCE)
      & has_arg1(R_0007_0004__ENGAGED,R_0007_0003__COMPANIES)
      & r_0007_0002__said(R_0007_0002__SAID)
      & has_arg1(R_0007_0002__SAID,R_0007_0009__WOULD_R_0007_0010__BE)
      & r_0007_0009__would_r_0007_0010__be(R_0007_0009__WOULD_R_0007_0010__BE)
      & has_prd(R_0007_0009__WOULD_R_0007_0010__BE,R_0007_0011__ABLE)
      & r_0007_0011__able(R_0007_0011__ABLE)
      & has_emb37(R_0007_0011__ABLE,R_0007_0019__AND)
      & r_0007_0019__and(R_0007_0019__AND)
      & has_conj3(R_0007_0019__AND,R_0007_0020__OWN)
      & r_0007_0020__own(R_0007_0020__OWN)
      & has_arg0(R_0007_0020__OWN,Z_000_7_A_ARTB_4_A1_E1_37)
      & has_r_0007_0022__in_nim70(R_0007_0020__OWN,R_0007_0023__THE_R_0007_0025__ZONE)
      & r_0007_0023__the_r_0007_0025__zone(R_0007_0023__THE_R_0007_0025__ZONE)
      & has_attrib73(R_0007_0023__THE_R_0007_0025__ZONE,R_0007_0024__OPEN)
      & has_arg1(R_0007_0020__OWN,R_0007_0021__EQUIPMENT)
      & has_conj2(R_0007_0019__AND,R_0007_0017__EMPLOY)
      & r_0007_0017__employ(R_0007_0017__EMPLOY)
      & has_arg0(R_0007_0017__EMPLOY,Z_000_7_A_ARTB_4_A1_E1_37)
      & has_r_0007_0022__in_nim70(R_0007_0017__EMPLOY,R_0007_0023__THE_R_0007_0025__ZONE)
      & has_arg1(R_0007_0017__EMPLOY,R_0007_0018__STAFF)
      & has_conj1(R_0007_0019__AND,R_0007_0013__SET_R_0007_0014__UP)
      & r_0007_0013__set_r_0007_0014__up(R_0007_0013__SET_R_0007_0014__UP)
      & has_arg0(R_0007_0013__SET_R_0007_0014__UP,Z_000_7_A_ARTB_4_A1_E1_37)
      & has_r_0007_0022__in_nim70(R_0007_0013__SET_R_0007_0014__UP,R_0007_0023__THE_R_0007_0025__ZONE)
      & has_arg1(R_0007_0013__SET_R_0007_0014__UP,R_0007_0015__OFFICES)
      & has_arg0(R_0007_0009__WOULD_R_0007_0010__BE,R_0007_0003__COMPANIES)
      & has_arg0(R_0007_0002__SAID,R_0007_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{MAKTOUM} (PRO He;{he}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (NS companies;{company})
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Tn.pr_ engaged;{engage[in]})
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (N e)
                                                          (PUNC <hyphen>)
                                                          (N commerce;{commerce}))))
                                      (IP-PPL *ICH*-131))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ;_cat_ able;{able})
                                                    (IP-INF (TO to;{to})
                                                            (ILYR (ILYR (VB;_phr_Vn<=>p_ set;{set[up]})
                                                                        (RP up;{up})
                                                                        (NP-OB1 (NS offices;{office})))
                                                                  (PUNC ,)
                                                                  (CONJP (ILYR (VB;_Tn_ employ;{employ})
                                                                               (NP-OB1 (N staff;{staff}))))
                                                                  (CONJP (CONJ and;{and})
                                                                         (ILYR (VB;_Tn_ own;{own})
                                                                               (NP-OB1 (N equipment;{equipment})))))
                                                            (PP-NIM (P-ROLE in;{in})
                                                                    (NP;{ZONE} (D the;{the})
                                                                               (ADJP (ADJ open;{open}))
                                                                               (N zone;{zone}))))))
                              (PUNC ,)
                              (IP-PPL-EPD-131 (VAG;_Tn_ including;{include})
                                              (NP-OB1 (ADJP (NP (ADJP (ADVP (ADV fully;{fully}))
                                                                      (PUNC <hyphen>)
                                                                      (ADJ owned;{owned})))
                                                            (ADJ foreign;{foreign}))
                                                      (NS companies;{company})))))
          (PUNC .))
  (ID 7_a_artb_4_a1_e1))