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_0003_0001__DUBAI_R_0003_0002___APOS_S,R_0003_0003__CROWN_R_0003_0004__PRINCE,R_0003_0013__FREE,R_0003_0016__E_R_0003_0018__COMMERCE,R_0003_0012__A_R_0003_0014__ZONE,R_0003_0019__TODAY,R_0003_0011__INAUGURATED,R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY,Z_000_3_A_ARTB_4_A1_E1_54,R_0003_0021__CALLED,R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM,Z_000_3_A_ARTB_4_A1_E1_12] :
      ( r_0003_0001__Dubai_r_0003_0002___apos_s(R_0003_0001__DUBAI_R_0003_0002___APOS_S)
      & r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum(R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM)
      & r_0003_0013__free(R_0003_0013__FREE)
      & r_0003_0016__e_r_0003_0018__commerce(R_0003_0016__E_R_0003_0018__COMMERCE)
      & r_0003_0019__today(R_0003_0019__TODAY)
      & r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City(R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY)
      & z_000_3_a_artb_4_a1_e1_54(Z_000_3_A_ARTB_4_A1_E1_54)
      & z_000_3_a_artb_4_a1_e1_12(Z_000_3_A_ARTB_4_A1_E1_12)
      & has_prd(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)
      & has_arg0(Z_000_3_A_ARTB_4_A1_E1_12,R_0003_0003__CROWN_R_0003_0004__PRINCE)
      & r_0003_0003__Crown_r_0003_0004__Prince(R_0003_0003__CROWN_R_0003_0004__PRINCE)
      & has_gen(R_0003_0003__CROWN_R_0003_0004__PRINCE,R_0003_0001__DUBAI_R_0003_0002___APOS_S)
      & r_0003_0021__called(R_0003_0021__CALLED)
      & has_arg0(R_0003_0021__CALLED,Z_000_3_A_ARTB_4_A1_E1_54)
      & has_prd(R_0003_0021__CALLED,R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY)
      & has_arg1(R_0003_0021__CALLED,R_0003_0012__A_R_0003_0014__ZONE)
      & r_0003_0012__a_r_0003_0014__zone(R_0003_0012__A_R_0003_0014__ZONE)
      & has_r_0003_0015__for(R_0003_0012__A_R_0003_0014__ZONE,R_0003_0016__E_R_0003_0018__COMMERCE)
      & has_attrib31(R_0003_0012__A_R_0003_0014__ZONE,R_0003_0013__FREE)
      & r_0003_0011__inaugurated(R_0003_0011__INAUGURATED)
      & has_nim48(R_0003_0011__INAUGURATED,R_0003_0019__TODAY)
      & has_arg1(R_0003_0011__INAUGURATED,R_0003_0012__A_R_0003_0014__ZONE)
      & has_arg0(R_0003_0011__INAUGURATED,R_0003_0003__CROWN_R_0003_0004__PRINCE) ) ).


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