TSPC 19_a_stuck

19_a_stuck_japan
In Taipei, where I was studying Chinese, the streets thronged to the sound of two - stroke scooters spewing acrid smoke that enveloped the city in a blanket of smog so thick you could often see barely two blocks.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR Taipei;{Taipei})
                      (PUNC ,)
                      (IP-REL (ADVP-NIM (RADV where;{where}))
                              (NP-SBJ (PRO I;{I}))
                              (BED;_cat_Vg_ was;{be})
                              (IP-PPL-CAT (VAG;_Tn_ studying;{study})
                                          (NP-OB1 (NPR Chinese;{Chinese}))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS streets;{street}))
          (VBD;_I_ thronged;{throng})
          (PP-NIM (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N sound;{sound})
                      (PP (P-ROLE of;{of})
                          (NP (NLYR (NUM two;{two})
                                    (PUNC <hyphen>)
                                    (N stroke;{stroke}))
                              (NS scooters;{scooter})
                              (IP-PPL (VAG;_Tn_ spewing;{spew})
                                      (NP-OB1 (ADJP (ADJ acrid;{acrid}))
                                              (N smoke;{smoke})
                                              (IP-REL (C that;{that})
                                                      (NP-SBJ *T*)
                                                      (VBD;_Tn.pr_ enveloped;{envelop[in]})
                                                      (NP-OB1 (D the;{the})
                                                              (N city;{city}))
                                                      (PP-CLR (P-ROLE in;{in})
                                                              (NP (D a;{a})
                                                                  (N blanket;{blanket})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (N smog;{smog})
                                                                          (IP-EOP (NP-SBJ *T*)
                                                                                  (ADJP-PRD (ADVP (ADV so;{so}))
                                                                                            (ADJ thick;{thick}))
                                                                                  (PP-SCON (IP-ADV (NP-SBJ (PRO you;{you}))
                                                                                                   (MD;_cat_Vi_ could;{could})
                                                                                                   (ADVP-NIM (ADV often;{often}))
                                                                                                   (IP-PPL-CAT (VB;_Tn_ see;{see})
                                                                                                               (NP-OB1 (ADVP (ADV barely;{barely}))
                                                                                                                       (NUM two;{two})
                                                                                                                       (NS blocks;{block})))))))))))))))))
          (PUNC .))
  (ID 19_a_stuck_japan))

arc(r_0019_0006__was,r_0019_0002__Taipei,nim).
arc(r_0019_0006__was,r_0019_0007__studying,scope).
arc(r_0019_0007__studying,r_0019_0005__I,arg0).
arc(r_0019_0007__studying,r_0019_0008__Chinese,arg1).
arc(r_0019_0012__thronged,r_0019_0002__Taipei,r_0019_0001__In__nim).
arc(r_0019_0012__thronged,r_0019_0010__the_r_0019_0011__streets,arg0).
arc(r_0019_0012__thronged,r_0019_0014__the_r_0019_0015__sound,r_0019_0013__to__nim).
arc(r_0019_0014__the_r_0019_0015__sound,r_0019_0020__scooters,r_0019_0016__of).
arc(r_0019_0020__scooters,r_0019_0017__two_r_0019_0019__stroke,nim).
arc(r_0019_0021__spewing,r_0019_0020__scooters,inv_arg0).
arc(r_0019_0021__spewing,r_0019_0023__smoke,arg1).
arc(r_0019_0023__smoke,r_0019_0022__acrid,attrib).
arc(r_0019_0025__enveloped_r_0019_0028__in,r_0019_0023__smoke,inv_arg0).
arc(r_0019_0025__enveloped_r_0019_0028__in,r_0019_0026__the_r_0019_0027__city,arg1).
arc(r_0019_0025__enveloped_r_0019_0028__in,r_0019_0029__a_r_0019_0030__blanket,arg2).
arc(r_0019_0029__a_r_0019_0030__blanket,r_0019_0032__smog,r_0019_0031__of).
arc(r_0019_0034__thick,r_0019_0033__so,qual).
arc(r_0019_0036__could,r_0019_0037__often,nim).
arc(r_0019_0036__could,r_0019_0038__see,scope).
arc(r_0019_0038__see,r_0019_0035__you,arg0).
arc(r_0019_0038__see,r_0019_0040__two_r_0019_0041__blocks,arg1).
arc(r_0019_0040__two_r_0019_0041__blocks,r_0019_0039__barely,qual).
arc(z_0019_5013,r_0019_0036__could,restriction).
arc(z_0019_5013,z_0019_5023,scope).
arc(z_0019_5023,r_0019_0032__smog,inv_arg0).
arc(z_0019_5023,r_0019_0034__thick,prd).

fof(formula,axiom,
    ? [R_0019_0002__TAIPEI,R_0019_0005__I,R_0019_0008__CHINESE,R_0019_0006__WAS_R_0019_0007__STUDYING,R_0019_0010__THE_R_0019_0011__STREETS,R_0019_0017__TWO_R_0019_0019__STROKE,R_0019_0022__ACRID,R_0019_0026__THE_R_0019_0027__CITY,R_0019_0033__SO,R_0019_0034__THICK,Z_0019_5023,R_0019_0032__SMOG,R_0019_0029__A_R_0019_0030__BLANKET,R_0019_0025__ENVELOPED_R_0019_0028__IN,R_0019_0023__SMOKE,R_0019_0021__SPEWING,R_0019_0020__SCOOTERS,R_0019_0014__THE_R_0019_0015__SOUND,R_0019_0012__THRONGED,R_0019_0037__OFTEN,R_0019_0035__YOU,R_0019_0039__BARELY,R_0019_0040__TWO_R_0019_0041__BLOCKS,R_0019_0036__COULD_R_0019_0038__SEE,Z_0019_5013] :
      ( r_0019_0002__Taipei(R_0019_0002__TAIPEI)
      & r_0019_0005__I(R_0019_0005__I)
      & r_0019_0008__Chinese(R_0019_0008__CHINESE)
      & r_0019_0010__the_r_0019_0011__streets(R_0019_0010__THE_R_0019_0011__STREETS)
      & r_0019_0017__two_r_0019_0019__stroke(R_0019_0017__TWO_R_0019_0019__STROKE)
      & r_0019_0022__acrid(R_0019_0022__ACRID)
      & r_0019_0026__the_r_0019_0027__city(R_0019_0026__THE_R_0019_0027__CITY)
      & r_0019_0033__so(R_0019_0033__SO)
      & r_0019_0035__you(R_0019_0035__YOU)
      & r_0019_0037__often(R_0019_0037__OFTEN)
      & r_0019_0039__barely(R_0019_0039__BARELY)
      & z_0019_5013(Z_0019_5013)
      & has_conj2(Z_0019_5013,Z_0019_5023)
      & z_0019_5023(Z_0019_5023)
      & has_prd(Z_0019_5023,R_0019_0034__THICK)
      & r_0019_0034__thick(R_0019_0034__THICK)
      & has_qual(R_0019_0034__THICK,R_0019_0033__SO)
      & has_conj1(Z_0019_5013,R_0019_0036__COULD_R_0019_0038__SEE)
      & r_0019_0036__could_r_0019_0038__see(R_0019_0036__COULD_R_0019_0038__SEE)
      & has_arg1(R_0019_0036__COULD_R_0019_0038__SEE,R_0019_0040__TWO_R_0019_0041__BLOCKS)
      & r_0019_0040__two_r_0019_0041__blocks(R_0019_0040__TWO_R_0019_0041__BLOCKS)
      & has_qual(R_0019_0040__TWO_R_0019_0041__BLOCKS,R_0019_0039__BARELY)
      & has_arg0(R_0019_0036__COULD_R_0019_0038__SEE,R_0019_0035__YOU)
      & has_nim(R_0019_0036__COULD_R_0019_0038__SEE,R_0019_0037__OFTEN)
      & r_0019_0012__thronged(R_0019_0012__THRONGED)
      & has_r_0019_0013__to__nim(R_0019_0012__THRONGED,R_0019_0014__THE_R_0019_0015__SOUND)
      & r_0019_0014__the_r_0019_0015__sound(R_0019_0014__THE_R_0019_0015__SOUND)
      & has_r_0019_0016__of(R_0019_0014__THE_R_0019_0015__SOUND,R_0019_0020__SCOOTERS)
      & r_0019_0020__scooters(R_0019_0020__SCOOTERS)
      & has_inv_arg0(R_0019_0020__SCOOTERS,R_0019_0021__SPEWING)
      & r_0019_0021__spewing(R_0019_0021__SPEWING)
      & has_arg1(R_0019_0021__SPEWING,R_0019_0023__SMOKE)
      & r_0019_0023__smoke(R_0019_0023__SMOKE)
      & has_inv_arg0(R_0019_0023__SMOKE,R_0019_0025__ENVELOPED_R_0019_0028__IN)
      & r_0019_0025__enveloped_r_0019_0028__in(R_0019_0025__ENVELOPED_R_0019_0028__IN)
      & has_arg2(R_0019_0025__ENVELOPED_R_0019_0028__IN,R_0019_0029__A_R_0019_0030__BLANKET)
      & r_0019_0029__a_r_0019_0030__blanket(R_0019_0029__A_R_0019_0030__BLANKET)
      & has_r_0019_0031__of(R_0019_0029__A_R_0019_0030__BLANKET,R_0019_0032__SMOG)
      & r_0019_0032__smog(R_0019_0032__SMOG)
      & has_inv_arg0(R_0019_0032__SMOG,Z_0019_5023)
      & has_arg1(R_0019_0025__ENVELOPED_R_0019_0028__IN,R_0019_0026__THE_R_0019_0027__CITY)
      & has_attrib(R_0019_0023__SMOKE,R_0019_0022__ACRID)
      & has_nim(R_0019_0020__SCOOTERS,R_0019_0017__TWO_R_0019_0019__STROKE)
      & has_arg0(R_0019_0012__THRONGED,R_0019_0010__THE_R_0019_0011__STREETS)
      & has_r_0019_0001__In__nim(R_0019_0012__THRONGED,R_0019_0002__TAIPEI)
      & r_0019_0006__was_r_0019_0007__studying(R_0019_0006__WAS_R_0019_0007__STUDYING)
      & has_arg1(R_0019_0006__WAS_R_0019_0007__STUDYING,R_0019_0008__CHINESE)
      & has_arg0(R_0019_0006__WAS_R_0019_0007__STUDYING,R_0019_0005__I)
      & has_nim(R_0019_0006__WAS_R_0019_0007__STUDYING,R_0019_0002__TAIPEI) ) ).