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.

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_0001__The_r_0009_0002__inauguration, arg0).
arc(r_0009_0007__coincides, r_0009_0009__the_r_0009_0010__opening, r_0009_0008__with_clr22).
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, attrib33).
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, attrib72).
arc(r_0009_0029__biggest, r_0009_0031__the_r_0009_0032__Middle_r_0009_0033__East, r_0009_0030__in).
arc(z_000_9_a_artb_4_a1_e1_48, r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show, arg0).
arc(z_000_9_a_artb_4_a1_e1_48, r_0009_0019__the_r_0009_0020__Gulf_r_0009_0021__Information_r_0009_0022__Technology_r_0009_0023__Exhibition_r_0009_0025__Gitex, prd).
arc(z_000_9_a_artb_4_a1_e1_68, r_0009_0012__an_r_0009_0014__IT_r_0009_0015__show, arg0).
arc(z_000_9_a_artb_4_a1_e1_68, 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_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION_R_0009_0025__GITEX,Z_000_9_A_ARTB_4_A1_E1_48,R_0009_0031__THE_R_0009_0032__MIDDLE_R_0009_0033__EAST,R_0009_0029__BIGGEST,R_0009_0028__THE,Z_000_9_A_ARTB_4_A1_E1_68] :
      ( 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_0025__Gitex(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_0031__the_r_0009_0032__Middle_r_0009_0033__East(R_0009_0031__THE_R_0009_0032__MIDDLE_R_0009_0033__EAST)
      & z_000_9_a_artb_4_a1_e1_68(Z_000_9_A_ARTB_4_A1_E1_68)
      & has_prd(Z_000_9_A_ARTB_4_A1_E1_68,R_0009_0028__THE)
      & r_0009_0028__the(R_0009_0028__THE)
      & has_attrib72(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_000_9_A_ARTB_4_A1_E1_68,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_attrib33(R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW,R_0009_0013__ANNUAL)
      & z_000_9_a_artb_4_a1_e1_48(Z_000_9_A_ARTB_4_A1_E1_48)
      & has_prd(Z_000_9_A_ARTB_4_A1_E1_48,R_0009_0019__THE_R_0009_0020__GULF_R_0009_0021__INFORMATION_R_0009_0022__TECHNOLOGY_R_0009_0023__EXHIBITION_R_0009_0025__GITEX)
      & has_arg0(Z_000_9_A_ARTB_4_A1_E1_48,R_0009_0012__AN_R_0009_0014__IT_R_0009_0015__SHOW)
      & r_0009_0007__coincides(R_0009_0007__COINCIDES)
      & has_r_0009_0008__with_clr22(R_0009_0007__COINCIDES,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_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) ) ).

( (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 ,)
                              (IP-PPL (NP-PRD (D the;{the})
                                              (NPR Gulf;{Gulf})
                                              (NPR Information;{Information})
                                              (NPR Technology;{Technology})
                                              (NPR Exhibition;{Exhibition})
                                              (PULB -LRB-)
                                              (NPR Gitex;{Gitex})
                                              (PURB -RRB-)))
                              (PUNC ,)
                              (IP-PPL (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 .))
  (ID 9_a_artb_4_a1_e1))