1_a_artb_4_a1_e1
Inauguration of free zone in Dubai for e - commerce
( (NP;{INAUGURATION} (N Inauguration;{inauguration})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ free;{free}))
(N zone;{zone})
(PP (P-ROLE in;{in})
(NP (NPR Dubai;{Dubai})))
(PP (P-ROLE for;{for})
(NP (N e)
(PUNC <hyphen>)
(N commerce;{commerce}))))))
(ID 1_a_artb_4_a1_e1))
arc(r_0001_0001__Inauguration,r_0001_0004__zone,r_0001_0002__of).
arc(r_0001_0004__zone,r_0001_0003__free,attrib).
arc(r_0001_0004__zone,r_0001_0006__Dubai,r_0001_0005__in).
arc(r_0001_0004__zone,r_0001_0008__e_r_0001_0010__commerce,r_0001_0007__for).
arc(z_0001_5007,r_0001_0001__Inauguration,z_0001_5002).
fof(formula,axiom,
? [R_0001_0003__FREE,R_0001_0006__DUBAI,R_0001_0008__E_R_0001_0010__COMMERCE,R_0001_0004__ZONE,R_0001_0001__INAUGURATION,Z_0001_5007] :
( r_0001_0003__free(R_0001_0003__FREE)
& r_0001_0006__Dubai(R_0001_0006__DUBAI)
& r_0001_0008__e_r_0001_0010__commerce(R_0001_0008__E_R_0001_0010__COMMERCE)
& z_0001_5007(Z_0001_5007)
& has_z_0001_5002(Z_0001_5007,R_0001_0001__INAUGURATION)
& r_0001_0001__Inauguration(R_0001_0001__INAUGURATION)
& has_r_0001_0002__of(R_0001_0001__INAUGURATION,R_0001_0004__ZONE)
& r_0001_0004__zone(R_0001_0004__ZONE)
& has_r_0001_0007__for(R_0001_0004__ZONE,R_0001_0008__E_R_0001_0010__COMMERCE)
& has_r_0001_0005__in(R_0001_0004__ZONE,R_0001_0006__DUBAI)
& has_attrib(R_0001_0004__ZONE,R_0001_0003__FREE) ) ).