TSPC 3_a_artb_4_a1

3_a_artb_4_a1_e2
Crown Prince of Dubai Al Sheikh Mohammed bin Rashid Al Maktoom crown prince of Dubai launched today, i.e. on Saturday, an electronics free e - trade zone which has been named “Dubai Internet City”

arc(r_0003_0012__crown_r_0003_0013__prince, r_0003_0015__Dubai, r_0003_0014__of).
arc(r_0003_0016__launched, r_0003_0005__Al_r_0003_0006__Sheikh_r_0003_0007__Mohammed_r_0003_0008__bin_r_0003_0009__Rashid_r_0003_0010__Al_r_0003_0011__Maktoom, arg0).
arc(r_0003_0016__launched, r_0003_0017__today, nim44).
arc(r_0003_0016__launched, r_0003_0019__i_dot_e_dot_, nim49).
arc(r_0003_0016__launched, r_0003_0021__Saturday, r_0003_0020__on_nim55).
arc(r_0003_0016__launched, r_0003_0023__an_r_0003_0024__electronics_r_0003_0026__e_r_0003_0028__trade_r_0003_0029__zone, arg1).
arc(r_0003_0023__an_r_0003_0024__electronics_r_0003_0026__e_r_0003_0028__trade_r_0003_0029__zone, r_0003_0025__free, attrib65).
arc(r_0003_0031__has, r_0003_0032__been, scope).
arc(r_0003_0032__been, r_0003_0033__named, scope).
arc(r_0003_0033__named, r_0003_0023__an_r_0003_0024__electronics_r_0003_0026__e_r_0003_0028__trade_r_0003_0029__zone, arg1).
arc(r_0003_0033__named, r_0003_0035__Dubai_r_0003_0036__Internet_r_0003_0037__City, prd).
arc(r_0003_0033__named, z_000_3_a_artb_4_a1_e2_86, arg0).
arc(z_000_3_a_artb_4_a1_e2_30, r_0003_0005__Al_r_0003_0006__Sheikh_r_0003_0007__Mohammed_r_0003_0008__bin_r_0003_0009__Rashid_r_0003_0010__Al_r_0003_0011__Maktoom, arg0).
arc(z_000_3_a_artb_4_a1_e2_30, r_0003_0012__crown_r_0003_0013__prince, prd).

fof(formula,axiom,
    ? [R_0003_0005__AL_R_0003_0006__SHEIKH_R_0003_0007__MOHAMMED_R_0003_0008__BIN_R_0003_0009__RASHID_R_0003_0010__AL_R_0003_0011__MAKTOOM,R_0003_0017__TODAY,R_0003_0019__I_DOT_E_DOT_,R_0003_0021__SATURDAY,R_0003_0025__FREE,R_0003_0023__AN_R_0003_0024__ELECTRONICS_R_0003_0026__E_R_0003_0028__TRADE_R_0003_0029__ZONE,R_0003_0016__LAUNCHED,R_0003_0035__DUBAI_R_0003_0036__INTERNET_R_0003_0037__CITY,Z_000_3_A_ARTB_4_A1_E2_86,R_0003_0031__HAS_R_0003_0032__BEEN_R_0003_0033__NAMED,R_0003_0015__DUBAI,R_0003_0012__CROWN_R_0003_0013__PRINCE,Z_000_3_A_ARTB_4_A1_E2_30] :
      ( r_0003_0005__Al_r_0003_0006__Sheikh_r_0003_0007__Mohammed_r_0003_0008__bin_r_0003_0009__Rashid_r_0003_0010__Al_r_0003_0011__Maktoom(R_0003_0005__AL_R_0003_0006__SHEIKH_R_0003_0007__MOHAMMED_R_0003_0008__BIN_R_0003_0009__RASHID_R_0003_0010__AL_R_0003_0011__MAKTOOM)
      & r_0003_0015__Dubai(R_0003_0015__DUBAI)
      & r_0003_0017__today(R_0003_0017__TODAY)
      & r_0003_0019__i_dot_e_dot_(R_0003_0019__I_DOT_E_DOT_)
      & r_0003_0021__Saturday(R_0003_0021__SATURDAY)
      & r_0003_0025__free(R_0003_0025__FREE)
      & r_0003_0035__Dubai_r_0003_0036__Internet_r_0003_0037__City(R_0003_0035__DUBAI_R_0003_0036__INTERNET_R_0003_0037__CITY)
      & z_000_3_a_artb_4_a1_e2_86(Z_000_3_A_ARTB_4_A1_E2_86)
      & z_000_3_a_artb_4_a1_e2_30(Z_000_3_A_ARTB_4_A1_E2_30)
      & has_prd(Z_000_3_A_ARTB_4_A1_E2_30,R_0003_0012__CROWN_R_0003_0013__PRINCE)
      & r_0003_0012__crown_r_0003_0013__prince(R_0003_0012__CROWN_R_0003_0013__PRINCE)
      & has_r_0003_0014__of(R_0003_0012__CROWN_R_0003_0013__PRINCE,R_0003_0015__DUBAI)
      & has_arg0(Z_000_3_A_ARTB_4_A1_E2_30,R_0003_0005__AL_R_0003_0006__SHEIKH_R_0003_0007__MOHAMMED_R_0003_0008__BIN_R_0003_0009__RASHID_R_0003_0010__AL_R_0003_0011__MAKTOOM)
      & r_0003_0031__has_r_0003_0032__been_r_0003_0033__named(R_0003_0031__HAS_R_0003_0032__BEEN_R_0003_0033__NAMED)
      & has_arg0(R_0003_0031__HAS_R_0003_0032__BEEN_R_0003_0033__NAMED,Z_000_3_A_ARTB_4_A1_E2_86)
      & has_prd(R_0003_0031__HAS_R_0003_0032__BEEN_R_0003_0033__NAMED,R_0003_0035__DUBAI_R_0003_0036__INTERNET_R_0003_0037__CITY)
      & has_arg1(R_0003_0031__HAS_R_0003_0032__BEEN_R_0003_0033__NAMED,R_0003_0023__AN_R_0003_0024__ELECTRONICS_R_0003_0026__E_R_0003_0028__TRADE_R_0003_0029__ZONE)
      & r_0003_0023__an_r_0003_0024__electronics_r_0003_0026__e_r_0003_0028__trade_r_0003_0029__zone(R_0003_0023__AN_R_0003_0024__ELECTRONICS_R_0003_0026__E_R_0003_0028__TRADE_R_0003_0029__ZONE)
      & has_attrib65(R_0003_0023__AN_R_0003_0024__ELECTRONICS_R_0003_0026__E_R_0003_0028__TRADE_R_0003_0029__ZONE,R_0003_0025__FREE)
      & r_0003_0016__launched(R_0003_0016__LAUNCHED)
      & has_arg1(R_0003_0016__LAUNCHED,R_0003_0023__AN_R_0003_0024__ELECTRONICS_R_0003_0026__E_R_0003_0028__TRADE_R_0003_0029__ZONE)
      & has_r_0003_0020__on_nim55(R_0003_0016__LAUNCHED,R_0003_0021__SATURDAY)
      & has_nim49(R_0003_0016__LAUNCHED,R_0003_0019__I_DOT_E_DOT_)
      & has_nim44(R_0003_0016__LAUNCHED,R_0003_0017__TODAY)
      & has_arg0(R_0003_0016__LAUNCHED,R_0003_0005__AL_R_0003_0006__SHEIKH_R_0003_0007__MOHAMMED_R_0003_0008__BIN_R_0003_0009__RASHID_R_0003_0010__AL_R_0003_0011__MAKTOOM) ) ).

( (IP-MAT (NP-SBJ;{MAKTOUM} (FS (PRN (NP (N Crown;{crown})
                                         (N Prince;{prince})
                                         (PP (P-ROLE of;{of})
                                             (NP (NPR Dubai;{Dubai}))))))
                            (NPR Al;{Al})
                            (NPR Sheikh;{Sheikh})
                            (NPR Mohammed;{Mohammed})
                            (NPR bin;{bin})
                            (NPR Rashid;{Rashid})
                            (NPR Al;{Al})
                            (NPR Maktoom;{Maktoom})
                            (IP-PPL (NP-PRD (N crown;{crown})
                                            (N prince;{prince})
                                            (PP (P-ROLE of;{of})
                                                (NP (NPR Dubai;{Dubai}))))))
          (VBD;_Tn_ launched;{launch})
          (ADVP-NIM (ADV today;{today}))
          (PUNC ,)
          (ADVP-NIM (ADV i<dot>e<dot>))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NPR Saturday;{Saturday})))
          (PUNC ,)
          (NP-OB1;{ZONE} (D an;{an})
                         (N electronics;{electronics})
                         (ADJP (ADJ free;{free}))
                         (N e)
                         (PUNC <hyphen>)
                         (N trade;{trade})
                         (N zone;{zone})
                         (IP-REL (NP-SBJ (RPRO which;{which}))
                                 (HVP;_cat_Ve_ has;{have})
                                 (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;_Cn.n_ named;{name})
                                                         (PULQ <ldquo>)
                                                         (NP-PRD (NPR Dubai;{Dubai})
                                                                 (NPR Internet;{Internet})
                                                                 (NPR City;{City}))
                                                         (PURQ <rdquo>))))))
  (ID 3_a_artb_4_a1_e2))