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_9_7_COINCIDED,R_9_1_LAUNCHING,Z_9_A_ARTB_4_A1_E2_2,R_9_3_DUBAI_INTERNET_CITY,R_9_9_THE_OPENING,R_9_19_IS_CONSIDERED,Z_9_A_ARTB_4_A1_E2_52,R_9_21_TO_BE,X_9_A_ARTB_4_A1_E2_56,R_9_23_THE,R_9_24_BIGGEST,R_9_26_THE_MIDDLE_EAST,Z_9_A_ARTB_4_A1_E2_79,R_9_12_THE_INFORMATION_FAIR,R_9_13_ANNUAL,R_9_17_DUBAI,R_9_30_GULF_INFORMATION_TECHNOLOGY_GETIX] :
      ( dubai_Internet_city(R_9_3_DUBAI_INTERNET_CITY)
      & biggest(R_9_24_BIGGEST)
      & the_Middle_East(R_9_26_THE_MIDDLE_EAST)
      & annual(R_9_13_ANNUAL)
      & dubai(R_9_17_DUBAI)
      & gulf_Information_Technology_Getix(R_9_30_GULF_INFORMATION_TECHNOLOGY_GETIX)
      & coincided(R_9_7_COINCIDED,R_9_1_LAUNCHING)
      & launching(R_9_1_LAUNCHING,Z_9_A_ARTB_4_A1_E2_2,R_9_3_DUBAI_INTERNET_CITY)
      & with_clr21(R_9_7_COINCIDED,R_9_9_THE_OPENING)
      & the_opening(R_9_9_THE_OPENING)
      & of(R_9_9_THE_OPENING,R_9_12_THE_INFORMATION_FAIR)
      & the_information_fair(R_9_12_THE_INFORMATION_FAIR)
      & attrib32(R_9_12_THE_INFORMATION_FAIR,R_9_13_ANNUAL)
      & in(R_9_12_THE_INFORMATION_FAIR,R_9_17_DUBAI)
      & is_considered(R_9_19_IS_CONSIDERED,Z_9_A_ARTB_4_A1_E2_52,R_9_12_THE_INFORMATION_FAIR,R_9_21_TO_BE)
      & to_be(R_9_21_TO_BE,X_9_A_ARTB_4_A1_E2_56,R_9_23_THE)
      & the(R_9_23_THE)
      & attrib64(R_9_23_THE,R_9_24_BIGGEST)
      & in(R_9_23_THE,R_9_26_THE_MIDDLE_EAST)
      & z_9_a_artb_4_a1_e2_79(Z_9_A_ARTB_4_A1_E2_79,R_9_12_THE_INFORMATION_FAIR,R_9_30_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>)
                              (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))