1_a_artb_4_a1_e1
Inauguration of free zone in Dubai for e - commerce
arc(r_0001_0001__Inauguration, r_0001_0004__zone, r_0001_0002__of).
arc(r_0001_0004__zone, r_0001_0003__free, attrib9).
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_000_1_a_artb_4_a1_e1_1, r_0001_0001__Inauguration, nim2).
fof(formula,axiom,
? [Z_1_A_ARTB_4_A1_E1_1,R_1_1_INAUGURATION,R_1_4_ZONE,R_1_3_FREE,R_1_6_DUBAI,R_1_8_E_COMMERCE] :
( free(R_1_3_FREE)
& dubai(R_1_6_DUBAI)
& e_commerce(R_1_8_E_COMMERCE)
& z_1_a_artb_4_a1_e1_1(Z_1_A_ARTB_4_A1_E1_1)
& nim2(Z_1_A_ARTB_4_A1_E1_1,R_1_1_INAUGURATION)
& inauguration(R_1_1_INAUGURATION)
& of(R_1_1_INAUGURATION,R_1_4_ZONE)
& zone(R_1_4_ZONE)
& attrib9(R_1_4_ZONE,R_1_3_FREE)
& in(R_1_4_ZONE,R_1_6_DUBAI)
& for(R_1_4_ZONE,R_1_8_E_COMMERCE) ) ).
( (FRAG (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))