TSPC 6_a_artb_4_a1

6_a_artb_4_a1_e2
The minister who has a personal website on the internet, further said that he wanted Dubai to become the best place in the world for the advanced (hitech) technological companies.

arc(r_0006_0004__has, r_0006_0001__The_r_0006_0002__minister, arg0).
arc(r_0006_0004__has, r_0006_0005__a_r_0006_0007__website, arg1).
arc(r_0006_0005__a_r_0006_0007__website, r_0006_0006__personal, attrib16).
arc(r_0006_0005__a_r_0006_0007__website, r_0006_0009__the_r_0006_0010__internet, r_0006_0008__on).
arc(r_0006_0013__said, r_0006_0001__The_r_0006_0002__minister, arg0).
arc(r_0006_0013__said, r_0006_0012__further, nim31).
arc(r_0006_0013__said, r_0006_0014__that_r_0006_0016__wanted, arg1).
arc(r_0006_0014__that_r_0006_0016__wanted, r_0006_0001__The_r_0006_0002__minister, arg0).
arc(r_0006_0014__that_r_0006_0016__wanted, r_0006_0018__to_r_0006_0019__become, arg1).
arc(r_0006_0018__to_r_0006_0019__become, r_0006_0017__Dubai, arg0).
arc(r_0006_0018__to_r_0006_0019__become, r_0006_0020__the_r_0006_0022__place, prd).
arc(r_0006_0020__the_r_0006_0022__place, r_0006_0021__best, attrib56).
arc(r_0006_0020__the_r_0006_0022__place, r_0006_0024__the_r_0006_0025__world, r_0006_0023__in).
arc(r_0006_0020__the_r_0006_0022__place, r_0006_0027__the_r_0006_0030__hitech_r_0006_0033__companies, r_0006_0026__for).
arc(r_0006_0027__the_r_0006_0030__hitech_r_0006_0033__companies, r_0006_0028__advanced, attrib75).
arc(r_0006_0027__the_r_0006_0030__hitech_r_0006_0033__companies, r_0006_0032__technological, attrib84).

fof(formula,axiom,
    ? [R_0006_0001__THE_R_0006_0002__MINISTER,R_0006_0006__PERSONAL,R_0006_0009__THE_R_0006_0010__INTERNET,R_0006_0005__A_R_0006_0007__WEBSITE,R_0006_0004__HAS,R_0006_0012__FURTHER,R_0006_0017__DUBAI,R_0006_0021__BEST,R_0006_0024__THE_R_0006_0025__WORLD,R_0006_0028__ADVANCED,R_0006_0032__TECHNOLOGICAL,R_0006_0027__THE_R_0006_0030__HITECH_R_0006_0033__COMPANIES,R_0006_0020__THE_R_0006_0022__PLACE,R_0006_0018__TO_R_0006_0019__BECOME,R_0006_0014__THAT_R_0006_0016__WANTED,R_0006_0013__SAID] :
      ( r_0006_0001__The_r_0006_0002__minister(R_0006_0001__THE_R_0006_0002__MINISTER)
      & r_0006_0006__personal(R_0006_0006__PERSONAL)
      & r_0006_0009__the_r_0006_0010__internet(R_0006_0009__THE_R_0006_0010__INTERNET)
      & r_0006_0012__further(R_0006_0012__FURTHER)
      & r_0006_0017__Dubai(R_0006_0017__DUBAI)
      & r_0006_0021__best(R_0006_0021__BEST)
      & r_0006_0024__the_r_0006_0025__world(R_0006_0024__THE_R_0006_0025__WORLD)
      & r_0006_0028__advanced(R_0006_0028__ADVANCED)
      & r_0006_0032__technological(R_0006_0032__TECHNOLOGICAL)
      & r_0006_0013__said(R_0006_0013__SAID)
      & has_arg1(R_0006_0013__SAID,R_0006_0014__THAT_R_0006_0016__WANTED)
      & r_0006_0014__that_r_0006_0016__wanted(R_0006_0014__THAT_R_0006_0016__WANTED)
      & has_arg1(R_0006_0014__THAT_R_0006_0016__WANTED,R_0006_0018__TO_R_0006_0019__BECOME)
      & r_0006_0018__to_r_0006_0019__become(R_0006_0018__TO_R_0006_0019__BECOME)
      & has_prd(R_0006_0018__TO_R_0006_0019__BECOME,R_0006_0020__THE_R_0006_0022__PLACE)
      & r_0006_0020__the_r_0006_0022__place(R_0006_0020__THE_R_0006_0022__PLACE)
      & has_r_0006_0026__for(R_0006_0020__THE_R_0006_0022__PLACE,R_0006_0027__THE_R_0006_0030__HITECH_R_0006_0033__COMPANIES)
      & r_0006_0027__the_r_0006_0030__hitech_r_0006_0033__companies(R_0006_0027__THE_R_0006_0030__HITECH_R_0006_0033__COMPANIES)
      & has_attrib84(R_0006_0027__THE_R_0006_0030__HITECH_R_0006_0033__COMPANIES,R_0006_0032__TECHNOLOGICAL)
      & has_attrib75(R_0006_0027__THE_R_0006_0030__HITECH_R_0006_0033__COMPANIES,R_0006_0028__ADVANCED)
      & has_r_0006_0023__in(R_0006_0020__THE_R_0006_0022__PLACE,R_0006_0024__THE_R_0006_0025__WORLD)
      & has_attrib56(R_0006_0020__THE_R_0006_0022__PLACE,R_0006_0021__BEST)
      & has_arg0(R_0006_0018__TO_R_0006_0019__BECOME,R_0006_0017__DUBAI)
      & has_arg0(R_0006_0014__THAT_R_0006_0016__WANTED,R_0006_0001__THE_R_0006_0002__MINISTER)
      & has_nim31(R_0006_0013__SAID,R_0006_0012__FURTHER)
      & has_arg0(R_0006_0013__SAID,R_0006_0001__THE_R_0006_0002__MINISTER)
      & r_0006_0004__has(R_0006_0004__HAS)
      & has_arg1(R_0006_0004__HAS,R_0006_0005__A_R_0006_0007__WEBSITE)
      & r_0006_0005__a_r_0006_0007__website(R_0006_0005__A_R_0006_0007__WEBSITE)
      & has_r_0006_0008__on(R_0006_0005__A_R_0006_0007__WEBSITE,R_0006_0009__THE_R_0006_0010__INTERNET)
      & has_attrib16(R_0006_0005__A_R_0006_0007__WEBSITE,R_0006_0006__PERSONAL)
      & has_arg0(R_0006_0004__HAS,R_0006_0001__THE_R_0006_0002__MINISTER) ) ).

( (IP-MAT (NP-SBJ;{MAKTOUM} (D The;{the})
                            (N minister;{minister})
                            (IP-REL (NP-SBJ (RPRO who;{who}))
                                    (HVP;_Tn_ has;{have})
                                    (NP-OB1 (D a;{a})
                                            (ADJP (ADJ personal;{personal}))
                                            (N website;{website})
                                            (PP (P-ROLE on;{on})
                                                (NP (D the;{the})
                                                    (N internet;{internet}))))))
          (PUNC ,)
          (ADVP-NIM (ADVR further;{far}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{MAKTOUM} (PRO he;{he}))
                              (VBD;_Tnt_ wanted;{want})
                              (NP-DOB1 (NPR Dubai;{Dubai}))
                              (IP-INF-OB1 (TO to;{to})
                                          (VB;_Ln_ become;{become})
                                          (NP-PRD (D the;{the})
                                                  (ADJP (ADJS best;{good}))
                                                  (N place;{place})
                                                  (PP (P-ROLE in;{in})
                                                      (NP (D the;{the})
                                                          (N world;{world})))
                                                  (PP (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (ADJP (ADJ advanced;{advanced}))
                                                          (PULB -LRB-)
                                                          (N hitech;{hitech})
                                                          (PURB -RRB-)
                                                          (ADJP (ADJ technological;{technological}))
                                                          (NS companies;{company})))))))
          (PUNC .))
  (ID 6_a_artb_4_a1_e2))