Context                Previous, Next                Top


3_a_artb_4_a1_e1
Dubai's Crown Prince Sheikh Mohamed Bin Rashid Al Maktoum inaugurated a free zone for e - commerce today, called Dubai Internet City.

%3 r_0003_0003__Crown_r_0003_0004__Prince Crown Prince r_0003_0001__Dubai_r_0003_0002___apos_s Dubai 's r_0003_0003__Crown_r_0003_0004__Prince->r_0003_0001__Dubai_r_0003_0002___apos_s [gen] r_0003_0011__inaugurated inaugurated r_0003_0011__inaugurated->r_0003_0003__Crown_r_0003_0004__Prince [arg0] r_0003_0012__a_r_0003_0014__zone a zone r_0003_0011__inaugurated->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0019__today today r_0003_0011__inaugurated->r_0003_0019__today [nim] r_0003_0013__free free r_0003_0012__a_r_0003_0014__zone->r_0003_0013__free [attrib] r_0003_0016__e_r_0003_0018__commerce e commerce r_0003_0012__a_r_0003_0014__zone->r_0003_0016__e_r_0003_0018__commerce for r_0003_0021__called called r_0003_0021__called->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City Dubai Internet City r_0003_0021__called->r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City [prd] z_000_3_a_artb_4_a1_e1_54 r_0003_0021__called->z_000_3_a_artb_4_a1_e1_54 [arg0] z_000_3_a_artb_4_a1_e1_12 z_000_3_a_artb_4_a1_e1_12->r_0003_0003__Crown_r_0003_0004__Prince [arg0] r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum Sheikh Mohamed Bin Rashid Al Maktoum z_000_3_a_artb_4_a1_e1_12->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [prd] 
arc(r_0003_0003__Crown_r_0003_0004__Prince, r_0003_0001__Dubai_r_0003_0002___apos_s, gen).
arc(r_0003_0011__inaugurated, r_0003_0003__Crown_r_0003_0004__Prince, arg0).
arc(r_0003_0011__inaugurated, r_0003_0012__a_r_0003_0014__zone, arg1).
arc(r_0003_0011__inaugurated, r_0003_0019__today, nim48).
arc(r_0003_0012__a_r_0003_0014__zone, r_0003_0013__free, attrib31).
arc(r_0003_0012__a_r_0003_0014__zone, r_0003_0016__e_r_0003_0018__commerce, r_0003_0015__for).
arc(r_0003_0021__called, r_0003_0012__a_r_0003_0014__zone, arg1).
arc(r_0003_0021__called, r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City, prd).
arc(r_0003_0021__called, z_000_3_a_artb_4_a1_e1_54, arg0).
arc(z_000_3_a_artb_4_a1_e1_12, r_0003_0003__Crown_r_0003_0004__Prince, arg0).
arc(z_000_3_a_artb_4_a1_e1_12, r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum, prd).


%3 r_0003_0003__Crown_r_0003_0004__Prince Crown Prince r_0003_0001__Dubai_r_0003_0002___apos_s Dubai 's r_0003_0003__Crown_r_0003_0004__Prince->r_0003_0001__Dubai_r_0003_0002___apos_s [gen] r_0003_0011__inaugurated inaugurated r_0003_0011__inaugurated->r_0003_0003__Crown_r_0003_0004__Prince [arg0] r_0003_0012__a_r_0003_0014__zone a zone r_0003_0011__inaugurated->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0019__today today r_0003_0011__inaugurated->r_0003_0019__today [nim] r_0003_0013__free free r_0003_0012__a_r_0003_0014__zone->r_0003_0013__free [attrib] r_0003_0016__e_r_0003_0018__commerce e commerce r_0003_0012__a_r_0003_0014__zone->r_0003_0016__e_r_0003_0018__commerce for r_0003_0021__called called r_0003_0021__called->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City Dubai Internet City r_0003_0021__called->r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City [prd] z_000_3_a_artb_4_a1_e1_54 r_0003_0021__called->z_000_3_a_artb_4_a1_e1_54 [arg0] z_000_3_a_artb_4_a1_e1_12 z_000_3_a_artb_4_a1_e1_12->r_0003_0003__Crown_r_0003_0004__Prince [arg0] r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum Sheikh Mohamed Bin Rashid Al Maktoum z_000_3_a_artb_4_a1_e1_12->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [prd] 
fof(formula,axiom,
    ? [R_3_11_INAUGURATED,R_3_19_TODAY,R_3_21_CALLED,Z_3_A_ARTB_4_A1_E1_54,R_3_12_A_ZONE,R_3_13_FREE,R_3_16_E_COMMERCE,R_3_22_DUBAI_INTERNET_CITY,Z_3_A_ARTB_4_A1_E1_12,R_3_3_CROWN_PRINCE,R_3_1_DUBAI_APOS_S,R_3_5_SHEIKH_MOHAMED_BIN_RASHID_AL_MAKTOUM] :
      ( today(R_3_19_TODAY)
      & free(R_3_13_FREE)
      & e_commerce(R_3_16_E_COMMERCE)
      & dubai_Internet_City(R_3_22_DUBAI_INTERNET_CITY)
      & dubai_apos_s(R_3_1_DUBAI_APOS_S)
      & sheikh_Mohamed_Bin_Rashid_Al_Maktoum(R_3_5_SHEIKH_MOHAMED_BIN_RASHID_AL_MAKTOUM)
      & inaugurated(R_3_11_INAUGURATED,R_3_3_CROWN_PRINCE,R_3_12_A_ZONE)
      & crown_Prince(R_3_3_CROWN_PRINCE)
      & gen(R_3_3_CROWN_PRINCE,R_3_1_DUBAI_APOS_S)
      & a_zone(R_3_12_A_ZONE)
      & attrib31(R_3_12_A_ZONE,R_3_13_FREE)
      & for(R_3_12_A_ZONE,R_3_16_E_COMMERCE)
      & nim48(R_3_11_INAUGURATED,R_3_19_TODAY)
      & called(R_3_21_CALLED,Z_3_A_ARTB_4_A1_E1_54,R_3_12_A_ZONE,R_3_22_DUBAI_INTERNET_CITY)
      & z_3_a_artb_4_a1_e1_12(Z_3_A_ARTB_4_A1_E1_12,R_3_3_CROWN_PRINCE,R_3_5_SHEIKH_MOHAMED_BIN_RASHID_AL_MAKTOUM) ) ).


n3_a_artb_4_a1_e1 n3_a_artb_4_a1_e1_5 Dubai n3_a_artb_4_a1_e1_7 's n3_a_artb_4_a1_e1_9 Crown n3_a_artb_4_a1_e1_11 Prince n3_a_artb_4_a1_e1_15 Sheikh n3_a_artb_4_a1_e1_17 Mohamed n3_a_artb_4_a1_e1_19 Bin n3_a_artb_4_a1_e1_21 Rashid n3_a_artb_4_a1_e1_23 Al n3_a_artb_4_a1_e1_25 Maktoum n3_a_artb_4_a1_e1_27 inaugurated n3_a_artb_4_a1_e1_30 a n3_a_artb_4_a1_e1_33 free n3_a_artb_4_a1_e1_35 zone n3_a_artb_4_a1_e1_38 for n3_a_artb_4_a1_e1_41 e n3_a_artb_4_a1_e1_43 - n3_a_artb_4_a1_e1_45 commerce n3_a_artb_4_a1_e1_47 *ICH*-128 n3_a_artb_4_a1_e1_50 today n3_a_artb_4_a1_e1_52 , n3_a_artb_4_a1_e1_55 * n3_a_artb_4_a1_e1_57 called n3_a_artb_4_a1_e1_60 Dubai n3_a_artb_4_a1_e1_62 Internet n3_a_artb_4_a1_e1_64 City n3_a_artb_4_a1_e1_66 . n3_a_artb_4_a1_e1_1 IP-MAT n3_a_artb_4_a1_e1_2 NP-SBJ n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_2 n3_a_artb_4_a1_e1_26 VBD;_Tn_ n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_26 n3_a_artb_4_a1_e1_28 NP-OB1 n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_28 n3_a_artb_4_a1_e1_48 ADVP-NIM n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_48 n3_a_artb_4_a1_e1_51 PUNC n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_51 n3_a_artb_4_a1_e1_53 IP-PPL-EPD-128 n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_53 n3_a_artb_4_a1_e1_65 PUNC n3_a_artb_4_a1_e1_1->n3_a_artb_4_a1_e1_65 n3_a_artb_4_a1_e1_3 NP-GEN n3_a_artb_4_a1_e1_2->n3_a_artb_4_a1_e1_3 n3_a_artb_4_a1_e1_8 N n3_a_artb_4_a1_e1_2->n3_a_artb_4_a1_e1_8 n3_a_artb_4_a1_e1_10 N n3_a_artb_4_a1_e1_2->n3_a_artb_4_a1_e1_10 n3_a_artb_4_a1_e1_12 IP-PPL n3_a_artb_4_a1_e1_2->n3_a_artb_4_a1_e1_12 n3_a_artb_4_a1_e1_4 NPR n3_a_artb_4_a1_e1_3->n3_a_artb_4_a1_e1_4 n3_a_artb_4_a1_e1_6 GENM n3_a_artb_4_a1_e1_3->n3_a_artb_4_a1_e1_6 n3_a_artb_4_a1_e1_4->n3_a_artb_4_a1_e1_5 n3_a_artb_4_a1_e1_6->n3_a_artb_4_a1_e1_7 n3_a_artb_4_a1_e1_8->n3_a_artb_4_a1_e1_9 n3_a_artb_4_a1_e1_10->n3_a_artb_4_a1_e1_11 n3_a_artb_4_a1_e1_13 NP-PRD n3_a_artb_4_a1_e1_12->n3_a_artb_4_a1_e1_13 n3_a_artb_4_a1_e1_14 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_14 n3_a_artb_4_a1_e1_16 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_16 n3_a_artb_4_a1_e1_18 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_18 n3_a_artb_4_a1_e1_20 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_20 n3_a_artb_4_a1_e1_22 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_22 n3_a_artb_4_a1_e1_24 NPR n3_a_artb_4_a1_e1_13->n3_a_artb_4_a1_e1_24 n3_a_artb_4_a1_e1_14->n3_a_artb_4_a1_e1_15 n3_a_artb_4_a1_e1_16->n3_a_artb_4_a1_e1_17 n3_a_artb_4_a1_e1_18->n3_a_artb_4_a1_e1_19 n3_a_artb_4_a1_e1_20->n3_a_artb_4_a1_e1_21 n3_a_artb_4_a1_e1_22->n3_a_artb_4_a1_e1_23 n3_a_artb_4_a1_e1_24->n3_a_artb_4_a1_e1_25 n3_a_artb_4_a1_e1_26->n3_a_artb_4_a1_e1_27 n3_a_artb_4_a1_e1_29 D n3_a_artb_4_a1_e1_28->n3_a_artb_4_a1_e1_29 n3_a_artb_4_a1_e1_31 ADJP n3_a_artb_4_a1_e1_28->n3_a_artb_4_a1_e1_31 n3_a_artb_4_a1_e1_34 N n3_a_artb_4_a1_e1_28->n3_a_artb_4_a1_e1_34 n3_a_artb_4_a1_e1_36 PP n3_a_artb_4_a1_e1_28->n3_a_artb_4_a1_e1_36 n3_a_artb_4_a1_e1_46 IP-PPL n3_a_artb_4_a1_e1_28->n3_a_artb_4_a1_e1_46 n3_a_artb_4_a1_e1_29->n3_a_artb_4_a1_e1_30 n3_a_artb_4_a1_e1_32 ADJ n3_a_artb_4_a1_e1_31->n3_a_artb_4_a1_e1_32 n3_a_artb_4_a1_e1_32->n3_a_artb_4_a1_e1_33 n3_a_artb_4_a1_e1_34->n3_a_artb_4_a1_e1_35 n3_a_artb_4_a1_e1_37 P-ROLE n3_a_artb_4_a1_e1_36->n3_a_artb_4_a1_e1_37 n3_a_artb_4_a1_e1_39 NP n3_a_artb_4_a1_e1_36->n3_a_artb_4_a1_e1_39 n3_a_artb_4_a1_e1_37->n3_a_artb_4_a1_e1_38 n3_a_artb_4_a1_e1_40 N n3_a_artb_4_a1_e1_39->n3_a_artb_4_a1_e1_40 n3_a_artb_4_a1_e1_42 PUNC n3_a_artb_4_a1_e1_39->n3_a_artb_4_a1_e1_42 n3_a_artb_4_a1_e1_44 N n3_a_artb_4_a1_e1_39->n3_a_artb_4_a1_e1_44 n3_a_artb_4_a1_e1_40->n3_a_artb_4_a1_e1_41 n3_a_artb_4_a1_e1_42->n3_a_artb_4_a1_e1_43 n3_a_artb_4_a1_e1_44->n3_a_artb_4_a1_e1_45 n3_a_artb_4_a1_e1_46->n3_a_artb_4_a1_e1_47 n3_a_artb_4_a1_e1_49 ADV n3_a_artb_4_a1_e1_48->n3_a_artb_4_a1_e1_49 n3_a_artb_4_a1_e1_49->n3_a_artb_4_a1_e1_50 n3_a_artb_4_a1_e1_51->n3_a_artb_4_a1_e1_52 n3_a_artb_4_a1_e1_54 NP-LGS n3_a_artb_4_a1_e1_53->n3_a_artb_4_a1_e1_54 n3_a_artb_4_a1_e1_56 VVN;_Cn.n_ n3_a_artb_4_a1_e1_53->n3_a_artb_4_a1_e1_56 n3_a_artb_4_a1_e1_58 NP-PRD n3_a_artb_4_a1_e1_53->n3_a_artb_4_a1_e1_58 n3_a_artb_4_a1_e1_54->n3_a_artb_4_a1_e1_55 n3_a_artb_4_a1_e1_56->n3_a_artb_4_a1_e1_57 n3_a_artb_4_a1_e1_59 NPR n3_a_artb_4_a1_e1_58->n3_a_artb_4_a1_e1_59 n3_a_artb_4_a1_e1_61 NPR n3_a_artb_4_a1_e1_58->n3_a_artb_4_a1_e1_61 n3_a_artb_4_a1_e1_63 NPR n3_a_artb_4_a1_e1_58->n3_a_artb_4_a1_e1_63 n3_a_artb_4_a1_e1_59->n3_a_artb_4_a1_e1_60 n3_a_artb_4_a1_e1_61->n3_a_artb_4_a1_e1_62 n3_a_artb_4_a1_e1_63->n3_a_artb_4_a1_e1_64 n3_a_artb_4_a1_e1_65->n3_a_artb_4_a1_e1_66 
( (IP-MAT;{INAUGURATION} (NP-SBJ;{MAKTOUM} (NP-GEN (NPR Dubai;{Dubai})
                                                   (GENM <apos>s))
                                           (N Crown;{crown})
                                           (N Prince;{prince})
                                           (IP-PPL (NP-PRD (NPR Sheikh;{Sheikh})
                                                           (NPR Mohamed;{Mohamed})
                                                           (NPR Bin;{Bin})
                                                           (NPR Rashid;{Rashid})
                                                           (NPR Al;{Al})
                                                           (NPR Maktoum;{Maktoum}))))
                         (VBD;_Tn_ inaugurated;{inaugurate})
                         (NP-OB1;{ZONE} (D a;{a})
                                        (ADJP (ADJ free;{free}))
                                        (N zone;{zone})
                                        (PP (P-ROLE for;{for})
                                            (NP (N e)
                                                (PUNC <hyphen>)
                                                (N commerce;{commerce})))
                                        (IP-PPL *ICH*-128))
                         (ADVP-NIM (ADV today;{today}))
                         (PUNC ,)
                         (IP-PPL-EPD-128 (NP-LGS *)
                                         (VVN;_Cn.n_ called;{call})
                                         (NP-PRD (NPR Dubai;{Dubai})
                                                 (NPR Internet;{Internet})
                                                 (NPR City;{City})))
                         (PUNC .))
  (ID 3_a_artb_4_a1_e1))