TSPC 9_a_artb_4_a1

9_a_artb_4_a1_e1
The inauguration of Dubai Internet City coincides with the opening of an annual IT show in Dubai, the Gulf Information Technology Exhibition (Gitex), the biggest in the Middle East.

( (IP-MAT (NP-SBJ;{INAUGURATION} (D The;{the})
                                 (N inauguration;{inauguration})
                                 (PP (P-ROLE of;{of})
                                     (NP (NPR Dubai;{Dubai})
                                         (NPR Internet;{Internet})
                                         (NPR City;{City}))))
          (VBP;_Ipr_ coincides;{coincide[with]})
          (PP-CLR (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N opening;{opening})
                      (PP (P-ROLE of;{of})
                          (NP (D an;{an})
                              (ADJP (ADJ annual;{annual}))
                              (NPR IT;{IT})
                              (N show;{show})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Dubai;{Dubai})))
                              (PUNC ,)
                              (PRN (NP (D the;{the})
                                       (NPR Gulf;{Gulf})
                                       (NPR Information;{Information})
                                       (NPR Technology;{Technology})
                                       (NPR Exhibition;{Exhibition})
                                       (PULB -LRB-)
                                       (PRN (NP (NPR Gitex;{Gitex})))
                                       (PURB -RRB-)))
                              (PUNC ,)
                              (PRN (NP (D the;{the})
                                       (ADJP (ADJS biggest;{big})
                                             (PP (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (NPR Middle;{Middle})
                                                     (NPR East;{East}))))))))))
          (PUNC .))
  (ID 9_a_artb_4_a1_e1))

arc(r_0009_0001__The_r_0009_0002__inauguration,r_0009_0004__Dubai_r_0009_0005__Internet_r_0009_0006__City,r_0009_0003__of).
arc(r_0009_0007__coincides_r_0009_0008__with,r_0009_0001__The_r_0009_0002__inauguration,arg0).
arc(r_0009_0007__coincides_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__an_r_0009_0014__IT_r_0009_0015__show,r_0009_0011__of).
arc(r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show,r_0009_0013__annual,attrib).
arc(r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show,r_0009_0017__Dubai,r_0009_0016__in).
arc(r_0009_0028__the,r_0009_0029__biggest,attrib).
arc(r_0009_0029__biggest,r_0009_0031__the_r_0009_0032__Middle_r_0009_0033__East,r_0009_0030__in).
arc(z_0009_5005,r_0009_0019__the_r_0009_0020__Gulf_r_0009_0021__Information_r_0009_0022__Technology_r_0009_0023__Exhibition,arg0).
arc(z_0009_5005,r_0009_0025__Gitex,prd).
arc(z_0009_5007,r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show,arg0).
arc(z_0009_5007,r_0009_0019__the_r_0009_0020__Gulf_r_0009_0021__Information_r_0009_0022__Technology_r_0009_0023__Exhibition,prd).
arc(z_0009_5011,r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show,arg0).
arc(z_0009_5011,r_0009_0028__the,prd).

fof(formula,axiom,
    ? [R_0009_0004__DUBAI_R_0009_0005__INTERNET_R_0009_0006__CITY,R_0009_0001__THE_R_0009_0002__INAUGURATION,R_0009_0013__ANNUAL,R_0009_0017__DUBAI,R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW,R_0009_0009__THE_R_0009_0010__OPENING,R_0009_0007__COINCIDES_R_0009_0008__WITH,R_0009_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION,R_0009_0025__GITEX,Z_0009_5005,Z_0009_5007,R_0009_0031__THE_R_0009_0032__MIDDLE_R_0009_0033__EAST,R_0009_0029__BIGGEST,R_0009_0028__THE,Z_0009_5011] :
      ( r_0009_0004__Dubai_r_0009_0005__Internet_r_0009_0006__City(R_0009_0004__DUBAI_R_0009_0005__INTERNET_R_0009_0006__CITY)
      & r_0009_0013__annual(R_0009_0013__ANNUAL)
      & r_0009_0017__Dubai(R_0009_0017__DUBAI)
      & r_0009_0019__the_r_0009_0020__Gulf_r_0009_0021__Information_r_0009_0022__Technology_r_0009_0023__Exhibition(R_0009_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION)
      & r_0009_0025__Gitex(R_0009_0025__GITEX)
      & r_0009_0031__the_r_0009_0032__Middle_r_0009_0033__East(R_0009_0031__THE_R_0009_0032__MIDDLE_R_0009_0033__EAST)
      & z_0009_5011(Z_0009_5011)
      & has_prd(Z_0009_5011,R_0009_0028__THE)
      & r_0009_0028__the(R_0009_0028__THE)
      & has_attrib(R_0009_0028__THE,R_0009_0029__BIGGEST)
      & r_0009_0029__biggest(R_0009_0029__BIGGEST)
      & has_r_0009_0030__in(R_0009_0029__BIGGEST,R_0009_0031__THE_R_0009_0032__MIDDLE_R_0009_0033__EAST)
      & has_arg0(Z_0009_5011,R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW)
      & r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show(R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW)
      & has_r_0009_0016__in(R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW,R_0009_0017__DUBAI)
      & has_attrib(R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW,R_0009_0013__ANNUAL)
      & z_0009_5007(Z_0009_5007)
      & has_prd(Z_0009_5007,R_0009_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION)
      & has_arg0(Z_0009_5007,R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW)
      & z_0009_5005(Z_0009_5005)
      & has_prd(Z_0009_5005,R_0009_0025__GITEX)
      & has_arg0(Z_0009_5005,R_0009_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION)
      & r_0009_0007__coincides_r_0009_0008__with(R_0009_0007__COINCIDES_R_0009_0008__WITH)
      & has_arg1(R_0009_0007__COINCIDES_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__AN_R_0009_0014__IT_R_0009_0015__SHOW)
      & has_arg0(R_0009_0007__COINCIDES_R_0009_0008__WITH,R_0009_0001__THE_R_0009_0002__INAUGURATION)
      & r_0009_0001__The_r_0009_0002__inauguration(R_0009_0001__THE_R_0009_0002__INAUGURATION)
      & has_r_0009_0003__of(R_0009_0001__THE_R_0009_0002__INAUGURATION,R_0009_0004__DUBAI_R_0009_0005__INTERNET_R_0009_0006__CITY) ) ).