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.’

arc(r_0009_0001__Launching, r_0009_0003__Dubai_r_0009_0004__Internet_r_0009_0005__city, arg1).
arc(r_0009_0001__Launching, z_000_9_a_artb_4_a1_e2_2, arg0).
arc(r_0009_0007__coincided, r_0009_0001__Launching, arg0).
arc(r_0009_0007__coincided, r_0009_0009__the_r_0009_0010__opening, r_0009_0008__with_clr21).
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, attrib32).
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_0021__to_r_0009_0022__be, prd).
arc(r_0009_0020__considered, z_000_9_a_artb_4_a1_e2_52, arg0).
arc(r_0009_0021__to_r_0009_0022__be, r_0009_0023__the, prd).
arc(r_0009_0021__to_r_0009_0022__be, x_000_9_a_artb_4_a1_e2_56, arg0).
arc(r_0009_0023__the, r_0009_0024__biggest, attrib64).
arc(r_0009_0023__the, r_0009_0026__the_r_0009_0027__Middle_r_0009_0028__East, r_0009_0025__in).
arc(z_000_9_a_artb_4_a1_e2_79, r_0009_0012__the_r_0009_0014__information_r_0009_0015__fair, arg0).
arc(z_000_9_a_artb_4_a1_e2_79, 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_000_9_A_ARTB_4_A1_E2_2,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_0024__BIGGEST,R_0009_0026__THE_R_0009_0027__MIDDLE_R_0009_0028__EAST,R_0009_0023__THE,X_000_9_A_ARTB_4_A1_E2_56,R_0009_0021__TO_R_0009_0022__BE,Z_000_9_A_ARTB_4_A1_E2_52,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_000_9_A_ARTB_4_A1_E2_79] :
      ( 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)
      & x_000_9_a_artb_4_a1_e2_56(X_000_9_A_ARTB_4_A1_E2_56)
      & z_000_9_a_artb_4_a1_e2_2(Z_000_9_A_ARTB_4_A1_E2_2)
      & z_000_9_a_artb_4_a1_e2_52(Z_000_9_A_ARTB_4_A1_E2_52)
      & z_000_9_a_artb_4_a1_e2_79(Z_000_9_A_ARTB_4_A1_E2_79)
      & has_prd(Z_000_9_A_ARTB_4_A1_E2_79,R_0009_0030__GULF_R_0009_0031__INFORMATION_R_0009_0032__TECHNOLOGY_R_0009_0033__GETIX)
      & has_arg0(Z_000_9_A_ARTB_4_A1_E2_79,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_attrib32(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_000_9_A_ARTB_4_A1_E2_52)
      & has_prd(R_0009_0019__IS_R_0009_0020__CONSIDERED,R_0009_0021__TO_R_0009_0022__BE)
      & r_0009_0021__to_r_0009_0022__be(R_0009_0021__TO_R_0009_0022__BE)
      & has_arg0(R_0009_0021__TO_R_0009_0022__BE,X_000_9_A_ARTB_4_A1_E2_56)
      & has_prd(R_0009_0021__TO_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_attrib64(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_0007__COINCIDED)
      & has_r_0009_0008__with_clr21(R_0009_0007__COINCIDED,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_0001__LAUNCHING)
      & r_0009_0001__Launching(R_0009_0001__LAUNCHING)
      & has_arg0(R_0009_0001__LAUNCHING,Z_000_9_A_ARTB_4_A1_E2_2)
      & has_arg1(R_0009_0001__LAUNCHING,R_0009_0003__DUBAI_R_0009_0004__INTERNET_R_0009_0005__CITY) ) ).

( (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>)
                              (IP-PPL (NP-PRD (NPR Gulf;{Gulf})
                                              (NPR Information;{Information})
                                              (NPR Technology;{Technology})
                                              (NPR Getix;{Getix})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 9_a_artb_4_a1_e2))