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.

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

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_0005__in,r_0007_0003__companies,inv_arg1).
arc(r_0007_0004__engaged_r_0007_0005__in,r_0007_0006__e_r_0007_0008__commerce,arg2).
arc(r_0007_0004__engaged_r_0007_0005__in,z_0007_5004___star_,arg0).
arc(r_0007_0009__would,r_0007_0010__be,scope).
arc(r_0007_0010__be,r_0007_0011__able,scope).
arc(r_0007_0011__able,r_0007_0019__and,scope).
arc(r_0007_0013__set_r_0007_0014__up,r_0007_0003__companies,arg0).
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__nim).
arc(r_0007_0017__employ,r_0007_0003__companies,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__nim).
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_0003__companies,arg0).
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__nim).
arc(r_0007_0023__the_r_0007_0025__zone,r_0007_0024__open,attrib).
arc(r_0007_0027__including,r_0007_0003__companies,inv_arg0).
arc(r_0007_0027__including,r_0007_0032__companies,arg1).
arc(r_0007_0030__owned,r_0007_0028__fully,qual).
arc(r_0007_0031__foreign,z_0007_5011,nim).
arc(r_0007_0032__companies,r_0007_0031__foreign,attrib).
arc(z_0007_5011,r_0007_0030__owned,attrib).

fof(formula,axiom,
    ? [R_0007_0001__HE,R_0007_0006__E_R_0007_0008__COMMERCE,Z_0007_5004___STAR_,R_0007_0004__ENGAGED_R_0007_0005__IN,R_0007_0028__FULLY,R_0007_0030__OWNED,Z_0007_5011,R_0007_0031__FOREIGN,R_0007_0032__COMPANIES,R_0007_0027__INCLUDING,R_0007_0003__COMPANIES,R_0007_0015__OFFICES,R_0007_0024__OPEN,R_0007_0023__THE_R_0007_0025__ZONE,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_0009__WOULD_R_0007_0010__BE_R_0007_0011__ABLE,R_0007_0002__SAID] :
      ( r_0007_0001__He(R_0007_0001__HE)
      & 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_0007_5004___star_(Z_0007_5004___STAR_)
      & r_0007_0002__said(R_0007_0002__SAID)
      & has_arg1(R_0007_0002__SAID,R_0007_0009__WOULD_R_0007_0010__BE_R_0007_0011__ABLE)
      & r_0007_0009__would_r_0007_0010__be_r_0007_0011__able(R_0007_0009__WOULD_R_0007_0010__BE_R_0007_0011__ABLE)
      & has_keep_scope(R_0007_0009__WOULD_R_0007_0010__BE_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_r_0007_0022__in__nim(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_attrib(R_0007_0023__THE_R_0007_0025__ZONE,R_0007_0024__OPEN)
      & has_arg1(R_0007_0020__OWN,R_0007_0021__EQUIPMENT)
      & has_arg0(R_0007_0020__OWN,R_0007_0003__COMPANIES)
      & r_0007_0003__companies(R_0007_0003__COMPANIES)
      & has_inv_arg0(R_0007_0003__COMPANIES,R_0007_0027__INCLUDING)
      & 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_attrib(R_0007_0032__COMPANIES,R_0007_0031__FOREIGN)
      & r_0007_0031__foreign(R_0007_0031__FOREIGN)
      & has_nim(R_0007_0031__FOREIGN,Z_0007_5011)
      & z_0007_5011(Z_0007_5011)
      & has_attrib(Z_0007_5011,R_0007_0030__OWNED)
      & r_0007_0030__owned(R_0007_0030__OWNED)
      & has_qual(R_0007_0030__OWNED,R_0007_0028__FULLY)
      & has_inv_arg1(R_0007_0003__COMPANIES,R_0007_0004__ENGAGED_R_0007_0005__IN)
      & r_0007_0004__engaged_r_0007_0005__in(R_0007_0004__ENGAGED_R_0007_0005__IN)
      & has_arg0(R_0007_0004__ENGAGED_R_0007_0005__IN,Z_0007_5004___STAR_)
      & has_arg2(R_0007_0004__ENGAGED_R_0007_0005__IN,R_0007_0006__E_R_0007_0008__COMMERCE)
      & has_conj2(R_0007_0019__AND,R_0007_0017__EMPLOY)
      & r_0007_0017__employ(R_0007_0017__EMPLOY)
      & has_r_0007_0022__in__nim(R_0007_0017__EMPLOY,R_0007_0023__THE_R_0007_0025__ZONE)
      & has_arg1(R_0007_0017__EMPLOY,R_0007_0018__STAFF)
      & has_arg0(R_0007_0017__EMPLOY,R_0007_0003__COMPANIES)
      & 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_r_0007_0022__in__nim(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_0013__SET_R_0007_0014__UP,R_0007_0003__COMPANIES)
      & has_arg0(R_0007_0002__SAID,R_0007_0001__HE) ) ).