TSPC 7_a_artb_4_a1

7_a_artb_4_a1_e2
He said that it would be possible for the companies working in the electronic trade sector to make Dubai their headquarters, and to establish offices here and provide employment and own machinery in the zone opened to companies fully owned by the foreigners.

( (IP-MAT (NP-SBJ;{MAKTOUM} (PRO He;{he}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO;_provisional_ it;{it}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ possible;{possible}))
                                          (IP-INF-NSBJ (P-CONN for;{for})
                                                       (NP-SBJ;{COMPANIES} (D the;{the})
                                                                           (NS companies;{company})
                                                                           (IP-PPL (VAG;_Ipr_ working;{work[in]})
                                                                                   (PP-CLR (P-ROLE in;{in})
                                                                                           (NP (D the;{the})
                                                                                               (NLYR (ADJP (ADJ electronic;{electronic}))
                                                                                                     (N trade;{trade}))
                                                                                               (N sector;{sector})))))
                                                       (ILYR (ILYR (TO to;{to})
                                                                   (VB;_Cn.n_ make;{make})
                                                                   (NP-OB1 (NPR Dubai;{Dubai}))
                                                                   (NP-PRD (NP-GEN;{COMPANIES} (PRO;_genm_ their;{their}))
                                                                           (N headquarters;{headquarters})))
                                                             (PUNC ,)
                                                             (CONJP (CONJ and;{and})
                                                                    (ILYR (TO to;{to})
                                                                          (ILYR (ILYR (VB;_Tn_ establish;{establish})
                                                                                      (NP-OB1 (NS offices;{office}))
                                                                                      (ADVP-NIM (ADV here;{here})))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (ILYR (VB;_Tn_ provide;{provide})
                                                                                             (NP-OB1 (N employment;{employment}))))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (ILYR (VB;_Tn_ own;{own})
                                                                                             (NP-OB1 (N machinery;{machinery})))))
                                                                          (PP-NIM (P-ROLE in;{in})
                                                                                  (NP;{ZONE} (D the;{the})
                                                                                             (N zone;{zone})
                                                                                             (IP-PPL (NP-LGS *)
                                                                                                     (VVN;_Tn.pr_ opened;{open[to]})
                                                                                                     (PP-NIM (P-ROLE to;{to})
                                                                                                             (NP (NS companies;{company})
                                                                                                                 (IP-PPL (ADVP-NIM (ADV fully;{fully}))
                                                                                                                         (VVN;_Tn_ owned;{own})
                                                                                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                                                                 (NP (D the;{the})
                                                                                                                                     (NS foreigners;{foreigner}))))))))))))))))
          (PUNC .))
  (ID 7_a_artb_4_a1_e2))

arc(r_0007_0002__said,r_0007_0001__He,arg0).
arc(r_0007_0002__said,r_0007_0005__would,arg1).
arc(r_0007_0005__would,r_0007_0006__be,scope).
arc(r_0007_0006__be,r_0007_0007__possible,prd).
arc(r_0007_0006__be,r_0007_0023__and,arg0).
arc(r_0007_0011__working_r_0007_0012__in,r_0007_0009__the_r_0007_0010__companies,inv_arg0).
arc(r_0007_0011__working_r_0007_0012__in,r_0007_0013__the_r_0007_0014__electronic_r_0007_0015__trade_r_0007_0016__sector,arg1).
arc(r_0007_0018__make,r_0007_0009__the_r_0007_0010__companies,arg0).
arc(r_0007_0018__make,r_0007_0019__Dubai,arg1).
arc(r_0007_0018__make,r_0007_0021__headquarters,prd).
arc(r_0007_0021__headquarters,r_0007_0009__the_r_0007_0010__companies,gen).
arc(r_0007_0023__and,r_0007_0018__make,conj1).
arc(r_0007_0023__and,r_0007_0028__and_r_0007_0031__and,conj2).
arc(r_0007_0025__establish,r_0007_0009__the_r_0007_0010__companies,arg0).
arc(r_0007_0025__establish,r_0007_0026__offices,arg1).
arc(r_0007_0025__establish,r_0007_0027__here,nim).
arc(r_0007_0025__establish,r_0007_0035__the_r_0007_0036__zone,r_0007_0034__in__nim).
arc(r_0007_0028__and_r_0007_0031__and,r_0007_0025__establish,conj1).
arc(r_0007_0028__and_r_0007_0031__and,r_0007_0029__provide,conj2).
arc(r_0007_0028__and_r_0007_0031__and,r_0007_0032__own,conj3).
arc(r_0007_0029__provide,r_0007_0009__the_r_0007_0010__companies,arg0).
arc(r_0007_0029__provide,r_0007_0030__employment,arg1).
arc(r_0007_0029__provide,r_0007_0035__the_r_0007_0036__zone,r_0007_0034__in__nim).
arc(r_0007_0032__own,r_0007_0009__the_r_0007_0010__companies,arg0).
arc(r_0007_0032__own,r_0007_0033__machinery,arg1).
arc(r_0007_0032__own,r_0007_0035__the_r_0007_0036__zone,r_0007_0034__in__nim).
arc(r_0007_0037__opened,r_0007_0035__the_r_0007_0036__zone,inv_arg1).
arc(r_0007_0037__opened,r_0007_0039__companies,r_0007_0038__to__nim).
arc(r_0007_0037__opened,z_0007_5016___star_,arg0).
arc(r_0007_0041__owned,r_0007_0039__companies,inv_arg1).
arc(r_0007_0041__owned,r_0007_0040__fully,nim).
arc(r_0007_0041__owned,r_0007_0043__the_r_0007_0044__foreigners,r_0007_0042__by_arg0).

fof(formula,axiom,
    ? [R_0007_0001__HE,R_0007_0007__POSSIBLE,R_0007_0013__THE_R_0007_0014__ELECTRONIC_R_0007_0015__TRADE_R_0007_0016__SECTOR,R_0007_0011__WORKING_R_0007_0012__IN,R_0007_0009__THE_R_0007_0010__COMPANIES,R_0007_0019__DUBAI,R_0007_0021__HEADQUARTERS,R_0007_0018__MAKE,R_0007_0026__OFFICES,R_0007_0027__HERE,R_0007_0040__FULLY,R_0007_0043__THE_R_0007_0044__FOREIGNERS,R_0007_0041__OWNED,R_0007_0039__COMPANIES,Z_0007_5016___STAR_,R_0007_0037__OPENED,R_0007_0035__THE_R_0007_0036__ZONE,R_0007_0025__ESTABLISH,R_0007_0030__EMPLOYMENT,R_0007_0029__PROVIDE,R_0007_0033__MACHINERY,R_0007_0032__OWN,R_0007_0028__AND_R_0007_0031__AND,R_0007_0023__AND,R_0007_0005__WOULD_R_0007_0006__BE,R_0007_0002__SAID] :
      ( r_0007_0001__He(R_0007_0001__HE)
      & r_0007_0007__possible(R_0007_0007__POSSIBLE)
      & r_0007_0013__the_r_0007_0014__electronic_r_0007_0015__trade_r_0007_0016__sector(R_0007_0013__THE_R_0007_0014__ELECTRONIC_R_0007_0015__TRADE_R_0007_0016__SECTOR)
      & r_0007_0019__Dubai(R_0007_0019__DUBAI)
      & r_0007_0026__offices(R_0007_0026__OFFICES)
      & r_0007_0027__here(R_0007_0027__HERE)
      & r_0007_0030__employment(R_0007_0030__EMPLOYMENT)
      & r_0007_0033__machinery(R_0007_0033__MACHINERY)
      & r_0007_0040__fully(R_0007_0040__FULLY)
      & r_0007_0043__the_r_0007_0044__foreigners(R_0007_0043__THE_R_0007_0044__FOREIGNERS)
      & z_0007_5016___star_(Z_0007_5016___STAR_)
      & r_0007_0002__said(R_0007_0002__SAID)
      & has_arg1(R_0007_0002__SAID,R_0007_0005__WOULD_R_0007_0006__BE)
      & r_0007_0005__would_r_0007_0006__be(R_0007_0005__WOULD_R_0007_0006__BE)
      & has_arg0(R_0007_0005__WOULD_R_0007_0006__BE,R_0007_0023__AND)
      & r_0007_0023__and(R_0007_0023__AND)
      & has_conj2(R_0007_0023__AND,R_0007_0028__AND_R_0007_0031__AND)
      & r_0007_0028__and_r_0007_0031__and(R_0007_0028__AND_R_0007_0031__AND)
      & has_conj3(R_0007_0028__AND_R_0007_0031__AND,R_0007_0032__OWN)
      & r_0007_0032__own(R_0007_0032__OWN)
      & has_r_0007_0034__in__nim(R_0007_0032__OWN,R_0007_0035__THE_R_0007_0036__ZONE)
      & r_0007_0035__the_r_0007_0036__zone(R_0007_0035__THE_R_0007_0036__ZONE)
      & has_inv_arg1(R_0007_0035__THE_R_0007_0036__ZONE,R_0007_0037__OPENED)
      & r_0007_0037__opened(R_0007_0037__OPENED)
      & has_arg0(R_0007_0037__OPENED,Z_0007_5016___STAR_)
      & has_r_0007_0038__to__nim(R_0007_0037__OPENED,R_0007_0039__COMPANIES)
      & r_0007_0039__companies(R_0007_0039__COMPANIES)
      & has_inv_arg1(R_0007_0039__COMPANIES,R_0007_0041__OWNED)
      & r_0007_0041__owned(R_0007_0041__OWNED)
      & has_r_0007_0042__by_arg0(R_0007_0041__OWNED,R_0007_0043__THE_R_0007_0044__FOREIGNERS)
      & has_nim(R_0007_0041__OWNED,R_0007_0040__FULLY)
      & has_arg1(R_0007_0032__OWN,R_0007_0033__MACHINERY)
      & has_arg0(R_0007_0032__OWN,R_0007_0009__THE_R_0007_0010__COMPANIES)
      & r_0007_0009__the_r_0007_0010__companies(R_0007_0009__THE_R_0007_0010__COMPANIES)
      & has_inv_arg0(R_0007_0009__THE_R_0007_0010__COMPANIES,R_0007_0011__WORKING_R_0007_0012__IN)
      & r_0007_0011__working_r_0007_0012__in(R_0007_0011__WORKING_R_0007_0012__IN)
      & has_arg1(R_0007_0011__WORKING_R_0007_0012__IN,R_0007_0013__THE_R_0007_0014__ELECTRONIC_R_0007_0015__TRADE_R_0007_0016__SECTOR)
      & has_conj2(R_0007_0028__AND_R_0007_0031__AND,R_0007_0029__PROVIDE)
      & r_0007_0029__provide(R_0007_0029__PROVIDE)
      & has_r_0007_0034__in__nim(R_0007_0029__PROVIDE,R_0007_0035__THE_R_0007_0036__ZONE)
      & has_arg1(R_0007_0029__PROVIDE,R_0007_0030__EMPLOYMENT)
      & has_arg0(R_0007_0029__PROVIDE,R_0007_0009__THE_R_0007_0010__COMPANIES)
      & has_conj1(R_0007_0028__AND_R_0007_0031__AND,R_0007_0025__ESTABLISH)
      & r_0007_0025__establish(R_0007_0025__ESTABLISH)
      & has_r_0007_0034__in__nim(R_0007_0025__ESTABLISH,R_0007_0035__THE_R_0007_0036__ZONE)
      & has_nim(R_0007_0025__ESTABLISH,R_0007_0027__HERE)
      & has_arg1(R_0007_0025__ESTABLISH,R_0007_0026__OFFICES)
      & has_arg0(R_0007_0025__ESTABLISH,R_0007_0009__THE_R_0007_0010__COMPANIES)
      & has_conj1(R_0007_0023__AND,R_0007_0018__MAKE)
      & r_0007_0018__make(R_0007_0018__MAKE)
      & has_prd(R_0007_0018__MAKE,R_0007_0021__HEADQUARTERS)
      & r_0007_0021__headquarters(R_0007_0021__HEADQUARTERS)
      & has_gen(R_0007_0021__HEADQUARTERS,R_0007_0009__THE_R_0007_0010__COMPANIES)
      & has_arg1(R_0007_0018__MAKE,R_0007_0019__DUBAI)
      & has_arg0(R_0007_0018__MAKE,R_0007_0009__THE_R_0007_0010__COMPANIES)
      & has_prd(R_0007_0005__WOULD_R_0007_0006__BE,R_0007_0007__POSSIBLE)
      & has_arg0(R_0007_0002__SAID,R_0007_0001__HE) ) ).