TSPC 9_a_artb_4_a1

9_a_artb_4_a1_e2
Launching ‘Dubai Internet city’ coincided with the opening of the annual information fair in Dubai which is considered to be the biggest in the Middle East - Gulf Information Technology Getix.’

( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Launching;{launch})
                      (NP-OB1;{ZONE} (PULQ <lquo>)
                                     (NPR Dubai;{Dubai})
                                     (NPR Internet;{Internet})
                                     (N city;{city})
                                     (PURQ <rquo>)))
          (VBD;_Ipr_ coincided;{coincide[with]})
          (PP-CLR (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N opening;{opening})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (ADJP (ADJ annual;{annual}))
                              (N information;{information})
                              (N fair;{fair})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Dubai;{Dubai})))
                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                      (BEP;_cat_VePASS_ is;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;_Cn.t_ considered;{consider})
                                                  (IP-INF-PRD (TO to;{to})
                                                              (BE;_Ln_ be;{be})
                                                              (NP-PRD (D the;{the})
                                                                      (ADJP (ADJS biggest;{big}))
                                                                      (PP (P-ROLE in;{in})
                                                                          (NP (D the;{the})
                                                                              (NPR Middle;{Middle})
                                                                              (NPR East;{East})))))))
                              (PUNC <hyphen>)
                              (PRN (NP (NPR Gulf;{Gulf})
                                       (NPR Information;{Information})
                                       (NPR Technology;{Technology})
                                       (NPR Getix;{Getix})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 9_a_artb_4_a1_e2))

arc(r_0009_0001__Launching,r_0009_0003__Dubai_r_0009_0004__Internet_r_0009_0005__city,arg1).
arc(r_0009_0001__Launching,z_0009_5003,arg0).
arc(r_0009_0007__coincided_r_0009_0008__with,r_0009_0001__Launching,arg0).
arc(r_0009_0007__coincided_r_0009_0008__with,r_0009_0009__the_r_0009_0010__opening,arg1).
arc(r_0009_0009__the_r_0009_0010__opening,r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair,r_0009_0011__of).
arc(r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair,r_0009_0013__annual,attrib).
arc(r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair,r_0009_0017__Dubai,r_0009_0016__in).
arc(r_0009_0019__is,r_0009_0020__considered,scope).
arc(r_0009_0020__considered,r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair,arg1).
arc(r_0009_0020__considered,r_0009_0022__be,prd).
arc(r_0009_0020__considered,z_0009_5016___star_,arg0).
arc(r_0009_0022__be,r_0009_0023__the,prd).
arc(r_0009_0022__be,z_0009_5012,arg0).
arc(r_0009_0023__the,r_0009_0024__biggest,attrib).
arc(r_0009_0023__the,r_0009_0026__the_r_0009_0027__Middle_r_0009_0028__East,r_0009_0025__in).
arc(z_0009_5019,r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair,arg0).
arc(z_0009_5019,r_0009_0030__Gulf_r_0009_0031__Information_r_0009_0032__Technology_r_0009_0033__Getix,prd).

fof(formula,axiom,
    ? [R_0009_0003__DUBAI_R_0009_0004__INTERNET_R_0009_0005__CITY,Z_0009_5003,R_0009_0001__LAUNCHING,R_0009_0013__ANNUAL,R_0009_0017__DUBAI,R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR,R_0009_0009__THE_R_0009_0010__OPENING,R_0009_0007__COINCIDED_R_0009_0008__WITH,R_0009_0024__BIGGEST,R_0009_0026__THE_R_0009_0027__MIDDLE_R_0009_0028__EAST,R_0009_0023__THE,Z_0009_5012,R_0009_0022__BE,Z_0009_5016___STAR_,R_0009_0019__IS_R_0009_0020__CONSIDERED,R_0009_0030__GULF_R_0009_0031__INFORMATION_R_0009_0032__TECHNOLOGY_R_0009_0033__GETIX,Z_0009_5019] :
      ( r_0009_0003__Dubai_r_0009_0004__Internet_r_0009_0005__city(R_0009_0003__DUBAI_R_0009_0004__INTERNET_R_0009_0005__CITY)
      & r_0009_0013__annual(R_0009_0013__ANNUAL)
      & r_0009_0017__Dubai(R_0009_0017__DUBAI)
      & r_0009_0024__biggest(R_0009_0024__BIGGEST)
      & r_0009_0026__the_r_0009_0027__Middle_r_0009_0028__East(R_0009_0026__THE_R_0009_0027__MIDDLE_R_0009_0028__EAST)
      & r_0009_0030__Gulf_r_0009_0031__Information_r_0009_0032__Technology_r_0009_0033__Getix(R_0009_0030__GULF_R_0009_0031__INFORMATION_R_0009_0032__TECHNOLOGY_R_0009_0033__GETIX)
      & z_0009_5003(Z_0009_5003)
      & z_0009_5012(Z_0009_5012)
      & z_0009_5016___star_(Z_0009_5016___STAR_)
      & z_0009_5019(Z_0009_5019)
      & has_prd(Z_0009_5019,R_0009_0030__GULF_R_0009_0031__INFORMATION_R_0009_0032__TECHNOLOGY_R_0009_0033__GETIX)
      & has_arg0(Z_0009_5019,R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR)
      & r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair(R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR)
      & has_r_0009_0016__in(R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR,R_0009_0017__DUBAI)
      & has_attrib(R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR,R_0009_0013__ANNUAL)
      & r_0009_0019__is_r_0009_0020__considered(R_0009_0019__IS_R_0009_0020__CONSIDERED)
      & has_arg0(R_0009_0019__IS_R_0009_0020__CONSIDERED,Z_0009_5016___STAR_)
      & has_prd(R_0009_0019__IS_R_0009_0020__CONSIDERED,R_0009_0022__BE)
      & r_0009_0022__be(R_0009_0022__BE)
      & has_arg0(R_0009_0022__BE,Z_0009_5012)
      & has_prd(R_0009_0022__BE,R_0009_0023__THE)
      & r_0009_0023__the(R_0009_0023__THE)
      & has_r_0009_0025__in(R_0009_0023__THE,R_0009_0026__THE_R_0009_0027__MIDDLE_R_0009_0028__EAST)
      & has_attrib(R_0009_0023__THE,R_0009_0024__BIGGEST)
      & has_arg1(R_0009_0019__IS_R_0009_0020__CONSIDERED,R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR)
      & r_0009_0007__coincided_r_0009_0008__with(R_0009_0007__COINCIDED_R_0009_0008__WITH)
      & has_arg1(R_0009_0007__COINCIDED_R_0009_0008__WITH,R_0009_0009__THE_R_0009_0010__OPENING)
      & r_0009_0009__the_r_0009_0010__opening(R_0009_0009__THE_R_0009_0010__OPENING)
      & has_r_0009_0011__of(R_0009_0009__THE_R_0009_0010__OPENING,R_0009_0012__THE_R_0009_0014__INFORMATION_R_0009_0015__FAIR)
      & has_arg0(R_0009_0007__COINCIDED_R_0009_0008__WITH,R_0009_0001__LAUNCHING)
      & r_0009_0001__Launching(R_0009_0001__LAUNCHING)
      & has_arg0(R_0009_0001__LAUNCHING,Z_0009_5003)
      & has_arg1(R_0009_0001__LAUNCHING,R_0009_0003__DUBAI_R_0009_0004__INTERNET_R_0009_0005__CITY) ) ).