1_a_artb_4_a1_e2
Launching the Electronics Free Trade Zone in Dubai
( (IP-PPL (VAG;_Tn_ Launching;{launch})
(NP-OB1 (D the;{the})
(NLYR (N Electronics;{electronics}))
(NLYR (ADJP (ADJ Free;{free}))
(N Trade;{trade}))
(N Zone;{zone})
(PP (P-ROLE in;{in})
(NP (NPR Dubai;{Dubai})))))
(ID 1_a_artb_4_a1_e2))
arc(r_0001_0001__Launching,r_0001_0002__the_r_0001_0003__Electronics_r_0001_0004__Free_r_0001_0005__Trade_r_0001_0006__Zone,arg1).
arc(r_0001_0001__Launching,z_0001_5002,arg0).
arc(r_0001_0002__the_r_0001_0003__Electronics_r_0001_0004__Free_r_0001_0005__Trade_r_0001_0006__Zone,r_0001_0008__Dubai,r_0001_0007__in).
fof(formula,axiom,
? [R_0001_0008__DUBAI,R_0001_0002__THE_R_0001_0003__ELECTRONICS_R_0001_0004__FREE_R_0001_0005__TRADE_R_0001_0006__ZONE,Z_0001_5002,R_0001_0001__LAUNCHING] :
( r_0001_0008__Dubai(R_0001_0008__DUBAI)
& z_0001_5002(Z_0001_5002)
& r_0001_0001__Launching(R_0001_0001__LAUNCHING)
& has_arg0(R_0001_0001__LAUNCHING,Z_0001_5002)
& has_arg1(R_0001_0001__LAUNCHING,R_0001_0002__THE_R_0001_0003__ELECTRONICS_R_0001_0004__FREE_R_0001_0005__TRADE_R_0001_0006__ZONE)
& r_0001_0002__the_r_0001_0003__Electronics_r_0001_0004__Free_r_0001_0005__Trade_r_0001_0006__Zone(R_0001_0002__THE_R_0001_0003__ELECTRONICS_R_0001_0004__FREE_R_0001_0005__TRADE_R_0001_0006__ZONE)
& has_r_0001_0007__in(R_0001_0002__THE_R_0001_0003__ELECTRONICS_R_0001_0004__FREE_R_0001_0005__TRADE_R_0001_0006__ZONE,R_0001_0008__DUBAI) ) ).