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 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 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] r_0003_0003__Crown_r_0003_0004__Prince Crown Prince z_000_3_a_artb_4_a1_e1_12->r_0003_0003__Crown_r_0003_0004__Prince [arg0] 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_0021__called called z_000_3_a_artb_4_a1_e1_54 r_0003_0021__called->z_000_3_a_artb_4_a1_e1_54 [arg0] 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] r_0003_0012__a_r_0003_0014__zone a zone r_0003_0021__called->r_0003_0012__a_r_0003_0014__zone [arg1] 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_0013__free free r_0003_0012__a_r_0003_0014__zone->r_0003_0013__free [attrib] r_0003_0011__inaugurated inaugurated r_0003_0011__inaugurated->r_0003_0003__Crown_r_0003_0004__Prince [arg0] 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] 
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__1_1_1_1_1 Dubai n3_a_artb_4_a1_e1__1_1_1_2_1 's n3_a_artb_4_a1_e1__1_1_2_1 Crown n3_a_artb_4_a1_e1__1_1_3_1 Prince n3_a_artb_4_a1_e1__1_1_4_1_1_1 Sheikh n3_a_artb_4_a1_e1__1_1_4_1_2_1 Mohamed n3_a_artb_4_a1_e1__1_1_4_1_3_1 Bin n3_a_artb_4_a1_e1__1_1_4_1_4_1 Rashid n3_a_artb_4_a1_e1__1_1_4_1_5_1 Al n3_a_artb_4_a1_e1__1_1_4_1_6_1 Maktoum n3_a_artb_4_a1_e1__1_2_1 inaugurated n3_a_artb_4_a1_e1__1_3_1_1 a n3_a_artb_4_a1_e1__1_3_2_1_1 free n3_a_artb_4_a1_e1__1_3_3_1 zone n3_a_artb_4_a1_e1__1_3_4_1_1 for n3_a_artb_4_a1_e1__1_3_4_2_1_1 e n3_a_artb_4_a1_e1__1_3_4_2_2_1 - n3_a_artb_4_a1_e1__1_3_4_2_3_1 commerce n3_a_artb_4_a1_e1__1_3_5_1 *ICH*-128 n3_a_artb_4_a1_e1__1_4_1_1 today n3_a_artb_4_a1_e1__1_5_1 , n3_a_artb_4_a1_e1__1_6_1_1 * n3_a_artb_4_a1_e1__1_6_2_1 called n3_a_artb_4_a1_e1__1_6_3_1_1 Dubai n3_a_artb_4_a1_e1__1_6_3_2_1 Internet n3_a_artb_4_a1_e1__1_6_3_3_1 City n3_a_artb_4_a1_e1__1_7_1 . n3_a_artb_4_a1_e1__1 IP-MAT n3_a_artb_4_a1_e1__1_1 NP-SBJ n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_1 n3_a_artb_4_a1_e1__1_2 VBD;_Tn_ n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_2 n3_a_artb_4_a1_e1__1_3 NP-OB1 n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_3 n3_a_artb_4_a1_e1__1_4 ADVP-NIM n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_4 n3_a_artb_4_a1_e1__1_5 PUNC n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_5 n3_a_artb_4_a1_e1__1_6 IP-PPL-EPD-128 n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_6 n3_a_artb_4_a1_e1__1_7 PUNC n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_7 n3_a_artb_4_a1_e1__1_1_1 NP-GEN n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_1 n3_a_artb_4_a1_e1__1_1_2 N n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_2 n3_a_artb_4_a1_e1__1_1_3 N n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_3 n3_a_artb_4_a1_e1__1_1_4 IP-PPL n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_4 n3_a_artb_4_a1_e1__1_1_1_1 NPR n3_a_artb_4_a1_e1__1_1_1->n3_a_artb_4_a1_e1__1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_2 GENM n3_a_artb_4_a1_e1__1_1_1->n3_a_artb_4_a1_e1__1_1_1_2 n3_a_artb_4_a1_e1__1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_2->n3_a_artb_4_a1_e1__1_1_1_2_1 n3_a_artb_4_a1_e1__1_1_2->n3_a_artb_4_a1_e1__1_1_2_1 n3_a_artb_4_a1_e1__1_1_3->n3_a_artb_4_a1_e1__1_1_3_1 n3_a_artb_4_a1_e1__1_1_4_1 NP-PRD n3_a_artb_4_a1_e1__1_1_4->n3_a_artb_4_a1_e1__1_1_4_1 n3_a_artb_4_a1_e1__1_1_4_1_1 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_1 n3_a_artb_4_a1_e1__1_1_4_1_2 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_2 n3_a_artb_4_a1_e1__1_1_4_1_3 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_3 n3_a_artb_4_a1_e1__1_1_4_1_4 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_4 n3_a_artb_4_a1_e1__1_1_4_1_5 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_5 n3_a_artb_4_a1_e1__1_1_4_1_6 NPR n3_a_artb_4_a1_e1__1_1_4_1->n3_a_artb_4_a1_e1__1_1_4_1_6 n3_a_artb_4_a1_e1__1_1_4_1_1->n3_a_artb_4_a1_e1__1_1_4_1_1_1 n3_a_artb_4_a1_e1__1_1_4_1_2->n3_a_artb_4_a1_e1__1_1_4_1_2_1 n3_a_artb_4_a1_e1__1_1_4_1_3->n3_a_artb_4_a1_e1__1_1_4_1_3_1 n3_a_artb_4_a1_e1__1_1_4_1_4->n3_a_artb_4_a1_e1__1_1_4_1_4_1 n3_a_artb_4_a1_e1__1_1_4_1_5->n3_a_artb_4_a1_e1__1_1_4_1_5_1 n3_a_artb_4_a1_e1__1_1_4_1_6->n3_a_artb_4_a1_e1__1_1_4_1_6_1 n3_a_artb_4_a1_e1__1_2->n3_a_artb_4_a1_e1__1_2_1 n3_a_artb_4_a1_e1__1_3_1 D n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_1 n3_a_artb_4_a1_e1__1_3_2 ADJP n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_2 n3_a_artb_4_a1_e1__1_3_3 N n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_3 n3_a_artb_4_a1_e1__1_3_4 PP n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_4 n3_a_artb_4_a1_e1__1_3_5 IP-PPL n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_5 n3_a_artb_4_a1_e1__1_3_1->n3_a_artb_4_a1_e1__1_3_1_1 n3_a_artb_4_a1_e1__1_3_2_1 ADJ n3_a_artb_4_a1_e1__1_3_2->n3_a_artb_4_a1_e1__1_3_2_1 n3_a_artb_4_a1_e1__1_3_2_1->n3_a_artb_4_a1_e1__1_3_2_1_1 n3_a_artb_4_a1_e1__1_3_3->n3_a_artb_4_a1_e1__1_3_3_1 n3_a_artb_4_a1_e1__1_3_4_1 P-ROLE n3_a_artb_4_a1_e1__1_3_4->n3_a_artb_4_a1_e1__1_3_4_1 n3_a_artb_4_a1_e1__1_3_4_2 NP n3_a_artb_4_a1_e1__1_3_4->n3_a_artb_4_a1_e1__1_3_4_2 n3_a_artb_4_a1_e1__1_3_4_1->n3_a_artb_4_a1_e1__1_3_4_1_1 n3_a_artb_4_a1_e1__1_3_4_2_1 N n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_1 n3_a_artb_4_a1_e1__1_3_4_2_2 PUNC n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_2 n3_a_artb_4_a1_e1__1_3_4_2_3 N n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_3 n3_a_artb_4_a1_e1__1_3_4_2_1->n3_a_artb_4_a1_e1__1_3_4_2_1_1 n3_a_artb_4_a1_e1__1_3_4_2_2->n3_a_artb_4_a1_e1__1_3_4_2_2_1 n3_a_artb_4_a1_e1__1_3_4_2_3->n3_a_artb_4_a1_e1__1_3_4_2_3_1 n3_a_artb_4_a1_e1__1_3_5->n3_a_artb_4_a1_e1__1_3_5_1 n3_a_artb_4_a1_e1__1_4_1 ADV n3_a_artb_4_a1_e1__1_4->n3_a_artb_4_a1_e1__1_4_1 n3_a_artb_4_a1_e1__1_4_1->n3_a_artb_4_a1_e1__1_4_1_1 n3_a_artb_4_a1_e1__1_5->n3_a_artb_4_a1_e1__1_5_1 n3_a_artb_4_a1_e1__1_6_1 NP-LGS n3_a_artb_4_a1_e1__1_6->n3_a_artb_4_a1_e1__1_6_1 n3_a_artb_4_a1_e1__1_6_2 VVN;_Cn.n_ n3_a_artb_4_a1_e1__1_6->n3_a_artb_4_a1_e1__1_6_2 n3_a_artb_4_a1_e1__1_6_3 NP-PRD n3_a_artb_4_a1_e1__1_6->n3_a_artb_4_a1_e1__1_6_3 n3_a_artb_4_a1_e1__1_6_1->n3_a_artb_4_a1_e1__1_6_1_1 n3_a_artb_4_a1_e1__1_6_2->n3_a_artb_4_a1_e1__1_6_2_1 n3_a_artb_4_a1_e1__1_6_3_1 NPR n3_a_artb_4_a1_e1__1_6_3->n3_a_artb_4_a1_e1__1_6_3_1 n3_a_artb_4_a1_e1__1_6_3_2 NPR n3_a_artb_4_a1_e1__1_6_3->n3_a_artb_4_a1_e1__1_6_3_2 n3_a_artb_4_a1_e1__1_6_3_3 NPR n3_a_artb_4_a1_e1__1_6_3->n3_a_artb_4_a1_e1__1_6_3_3 n3_a_artb_4_a1_e1__1_6_3_1->n3_a_artb_4_a1_e1__1_6_3_1_1 n3_a_artb_4_a1_e1__1_6_3_2->n3_a_artb_4_a1_e1__1_6_3_2_1 n3_a_artb_4_a1_e1__1_6_3_3->n3_a_artb_4_a1_e1__1_6_3_3_1 n3_a_artb_4_a1_e1__1_7->n3_a_artb_4_a1_e1__1_7_1 
( (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))