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.

arc(r_0019_0006__was, r_0019_0002__Taipei, nim11).
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_nim5).
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_nim37).
arc(r_0019_0014__the_r_0019_0015__sound, r_0019_0017__two_r_0019_0019__stroke_r_0019_0020__scooters, r_0019_0016__of).
arc(r_0019_0021__spewing, r_0019_0017__two_r_0019_0019__stroke_r_0019_0020__scooters, arg0).
arc(r_0019_0021__spewing, r_0019_0023__smoke, arg1).
arc(r_0019_0023__smoke, r_0019_0022__acrid, attrib58).
arc(r_0019_0024__that_r_0019_0025__enveloped, r_0019_0023__smoke, arg0).
arc(r_0019_0024__that_r_0019_0025__enveloped, r_0019_0026__the_r_0019_0027__city, arg1).
arc(r_0019_0024__that_r_0019_0025__enveloped, r_0019_0029__a_r_0019_0030__blanket, r_0019_0028__in_clr78).
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, qual93).
arc(r_0019_0036__could, r_0019_0037__often, nim105).
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, qual112).
arc(z_000_19_a_stuck_japan_89, r_0019_0032__smog, arg0).
arc(z_000_19_a_stuck_japan_89, r_0019_0034__thick, prd).
arc(z_000_19_a_stuck_japan_98, r_0019_0036__could, restriction).
arc(z_000_19_a_stuck_japan_98, z_000_19_a_stuck_japan_89, scope).

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_0020__SCOOTERS,R_0019_0014__THE_R_0019_0015__SOUND,R_0019_0012__THRONGED,R_0019_0022__ACRID,R_0019_0023__SMOKE,R_0019_0021__SPEWING,R_0019_0026__THE_R_0019_0027__CITY,R_0019_0032__SMOG,R_0019_0029__A_R_0019_0030__BLANKET,R_0019_0024__THAT_R_0019_0025__ENVELOPED,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,R_0019_0033__SO,R_0019_0034__THICK,Z_000_19_A_STUCK_JAPAN_89,Z_000_19_A_STUCK_JAPAN_98] :
      ( 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_0020__scooters(R_0019_0017__TWO_R_0019_0019__STROKE_R_0019_0020__SCOOTERS)
      & 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_0032__smog(R_0019_0032__SMOG)
      & 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_000_19_a_stuck_japan_98(Z_000_19_A_STUCK_JAPAN_98)
      & has_conj2(Z_000_19_A_STUCK_JAPAN_98,Z_000_19_A_STUCK_JAPAN_89)
      & z_000_19_a_stuck_japan_89(Z_000_19_A_STUCK_JAPAN_89)
      & has_prd(Z_000_19_A_STUCK_JAPAN_89,R_0019_0034__THICK)
      & r_0019_0034__thick(R_0019_0034__THICK)
      & has_qual93(R_0019_0034__THICK,R_0019_0033__SO)
      & has_arg0(Z_000_19_A_STUCK_JAPAN_89,R_0019_0032__SMOG)
      & has_conj1(Z_000_19_A_STUCK_JAPAN_98,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_qual112(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_nim105(R_0019_0036__COULD_R_0019_0038__SEE,R_0019_0037__OFTEN)
      & r_0019_0024__that_r_0019_0025__enveloped(R_0019_0024__THAT_R_0019_0025__ENVELOPED)
      & has_r_0019_0028__in_clr78(R_0019_0024__THAT_R_0019_0025__ENVELOPED,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)
      & has_arg1(R_0019_0024__THAT_R_0019_0025__ENVELOPED,R_0019_0026__THE_R_0019_0027__CITY)
      & has_arg0(R_0019_0024__THAT_R_0019_0025__ENVELOPED,R_0019_0023__SMOKE)
      & r_0019_0023__smoke(R_0019_0023__SMOKE)
      & has_attrib58(R_0019_0023__SMOKE,R_0019_0022__ACRID)
      & r_0019_0021__spewing(R_0019_0021__SPEWING)
      & has_arg1(R_0019_0021__SPEWING,R_0019_0023__SMOKE)
      & has_arg0(R_0019_0021__SPEWING,R_0019_0017__TWO_R_0019_0019__STROKE_R_0019_0020__SCOOTERS)
      & r_0019_0012__thronged(R_0019_0012__THRONGED)
      & has_r_0019_0013__to_nim37(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_0017__TWO_R_0019_0019__STROKE_R_0019_0020__SCOOTERS)
      & has_arg0(R_0019_0012__THRONGED,R_0019_0010__THE_R_0019_0011__STREETS)
      & has_r_0019_0001__In_nim5(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_nim11(R_0019_0006__WAS_R_0019_0007__STUDYING,R_0019_0002__TAIPEI) ) ).

( (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 (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-REL (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))