TSPC 18_a_stuck

18_a_stuck_japan
Hong Kong was an assault on the senses, noisy, smelly, a city of extremes - from gaudy mansions on Victoria Peak to the “dark satanic “sweatshops at the north end of Kowloon.

arc(r_0018_0003__was, r_0018_0001__Hong_r_0018_0002__Kong, arg0).
arc(r_0018_0003__was, r_0018_0004__an_r_0018_0005__assault, prd).
arc(r_0018_0004__an_r_0018_0005__assault, r_0018_0007__the_r_0018_0008__senses, r_0018_0006__on).
arc(r_0018_0014__a_r_0018_0015__city, r_0018_0017__extremes, r_0018_0016__of).
arc(r_0018_0017__extremes, r_0018_0021__mansions, r_0018_0019__from).
arc(r_0018_0017__extremes, r_0018_0026__the_r_0018_0031__sweatshops, r_0018_0025__to).
arc(r_0018_0021__mansions, r_0018_0020__gaudy, attrib60).
arc(r_0018_0021__mansions, r_0018_0023__Victoria_r_0018_0024__Peak, r_0018_0022__on).
arc(r_0018_0026__the_r_0018_0031__sweatshops, r_0018_0028__dark, attrib81).
arc(r_0018_0026__the_r_0018_0031__sweatshops, r_0018_0029__satanic, attrib84).
arc(r_0018_0026__the_r_0018_0031__sweatshops, r_0018_0033__the_r_0018_0034__north_r_0018_0035__end, r_0018_0032__at).
arc(r_0018_0033__the_r_0018_0034__north_r_0018_0035__end, r_0018_0037__Kowloon, r_0018_0036__of).
arc(z_000_18_a_stuck_japan_27, r_0018_0001__Hong_r_0018_0002__Kong, arg0).
arc(z_000_18_a_stuck_japan_27, z_000_18_a_stuck_japan_29, prd).
arc(z_000_18_a_stuck_japan_29, r_0018_0010__noisy, conj1).
arc(z_000_18_a_stuck_japan_29, r_0018_0012__smelly, conj2).
arc(z_000_18_a_stuck_japan_42, r_0018_0001__Hong_r_0018_0002__Kong, arg0).
arc(z_000_18_a_stuck_japan_42, r_0018_0014__a_r_0018_0015__city, prd).
arc(z_000_18_a_stuck_japan_7, r_0018_0003__was, conj1).
arc(z_000_18_a_stuck_japan_7, z_000_18_a_stuck_japan_27, conj2).
arc(z_000_18_a_stuck_japan_7, z_000_18_a_stuck_japan_42, conj3).

fof(formula,axiom,
    ? [R_0018_0001__HONG_R_0018_0002__KONG,R_0018_0007__THE_R_0018_0008__SENSES,R_0018_0004__AN_R_0018_0005__ASSAULT,R_0018_0003__WAS,R_0018_0010__NOISY,R_0018_0012__SMELLY,Z_000_18_A_STUCK_JAPAN_29,Z_000_18_A_STUCK_JAPAN_27,R_0018_0020__GAUDY,R_0018_0023__VICTORIA_R_0018_0024__PEAK,R_0018_0021__MANSIONS,R_0018_0028__DARK,R_0018_0029__SATANIC,R_0018_0037__KOWLOON,R_0018_0033__THE_R_0018_0034__NORTH_R_0018_0035__END,R_0018_0026__THE_R_0018_0031__SWEATSHOPS,R_0018_0017__EXTREMES,R_0018_0014__A_R_0018_0015__CITY,Z_000_18_A_STUCK_JAPAN_42,Z_000_18_A_STUCK_JAPAN_7] :
      ( r_0018_0001__Hong_r_0018_0002__Kong(R_0018_0001__HONG_R_0018_0002__KONG)
      & r_0018_0007__the_r_0018_0008__senses(R_0018_0007__THE_R_0018_0008__SENSES)
      & r_0018_0010__noisy(R_0018_0010__NOISY)
      & r_0018_0012__smelly(R_0018_0012__SMELLY)
      & r_0018_0020__gaudy(R_0018_0020__GAUDY)
      & r_0018_0023__Victoria_r_0018_0024__Peak(R_0018_0023__VICTORIA_R_0018_0024__PEAK)
      & r_0018_0028__dark(R_0018_0028__DARK)
      & r_0018_0029__satanic(R_0018_0029__SATANIC)
      & r_0018_0037__Kowloon(R_0018_0037__KOWLOON)
      & z_000_18_a_stuck_japan_7(Z_000_18_A_STUCK_JAPAN_7)
      & has_conj3(Z_000_18_A_STUCK_JAPAN_7,Z_000_18_A_STUCK_JAPAN_42)
      & z_000_18_a_stuck_japan_42(Z_000_18_A_STUCK_JAPAN_42)
      & has_prd(Z_000_18_A_STUCK_JAPAN_42,R_0018_0014__A_R_0018_0015__CITY)
      & r_0018_0014__a_r_0018_0015__city(R_0018_0014__A_R_0018_0015__CITY)
      & has_r_0018_0016__of(R_0018_0014__A_R_0018_0015__CITY,R_0018_0017__EXTREMES)
      & r_0018_0017__extremes(R_0018_0017__EXTREMES)
      & has_r_0018_0025__to(R_0018_0017__EXTREMES,R_0018_0026__THE_R_0018_0031__SWEATSHOPS)
      & r_0018_0026__the_r_0018_0031__sweatshops(R_0018_0026__THE_R_0018_0031__SWEATSHOPS)
      & has_r_0018_0032__at(R_0018_0026__THE_R_0018_0031__SWEATSHOPS,R_0018_0033__THE_R_0018_0034__NORTH_R_0018_0035__END)
      & r_0018_0033__the_r_0018_0034__north_r_0018_0035__end(R_0018_0033__THE_R_0018_0034__NORTH_R_0018_0035__END)
      & has_r_0018_0036__of(R_0018_0033__THE_R_0018_0034__NORTH_R_0018_0035__END,R_0018_0037__KOWLOON)
      & has_attrib84(R_0018_0026__THE_R_0018_0031__SWEATSHOPS,R_0018_0029__SATANIC)
      & has_attrib81(R_0018_0026__THE_R_0018_0031__SWEATSHOPS,R_0018_0028__DARK)
      & has_r_0018_0019__from(R_0018_0017__EXTREMES,R_0018_0021__MANSIONS)
      & r_0018_0021__mansions(R_0018_0021__MANSIONS)
      & has_r_0018_0022__on(R_0018_0021__MANSIONS,R_0018_0023__VICTORIA_R_0018_0024__PEAK)
      & has_attrib60(R_0018_0021__MANSIONS,R_0018_0020__GAUDY)
      & has_arg0(Z_000_18_A_STUCK_JAPAN_42,R_0018_0001__HONG_R_0018_0002__KONG)
      & has_conj2(Z_000_18_A_STUCK_JAPAN_7,Z_000_18_A_STUCK_JAPAN_27)
      & z_000_18_a_stuck_japan_27(Z_000_18_A_STUCK_JAPAN_27)
      & has_prd(Z_000_18_A_STUCK_JAPAN_27,Z_000_18_A_STUCK_JAPAN_29)
      & z_000_18_a_stuck_japan_29(Z_000_18_A_STUCK_JAPAN_29)
      & has_conj2(Z_000_18_A_STUCK_JAPAN_29,R_0018_0012__SMELLY)
      & has_conj1(Z_000_18_A_STUCK_JAPAN_29,R_0018_0010__NOISY)
      & has_arg0(Z_000_18_A_STUCK_JAPAN_27,R_0018_0001__HONG_R_0018_0002__KONG)
      & has_conj1(Z_000_18_A_STUCK_JAPAN_7,R_0018_0003__WAS)
      & r_0018_0003__was(R_0018_0003__WAS)
      & has_prd(R_0018_0003__WAS,R_0018_0004__AN_R_0018_0005__ASSAULT)
      & r_0018_0004__an_r_0018_0005__assault(R_0018_0004__AN_R_0018_0005__ASSAULT)
      & has_r_0018_0006__on(R_0018_0004__AN_R_0018_0005__ASSAULT,R_0018_0007__THE_R_0018_0008__SENSES)
      & has_arg0(R_0018_0003__WAS,R_0018_0001__HONG_R_0018_0002__KONG) ) ).

( (IP-MAT (NP-SBJ (NPR Hong;{Hong})
                  (NPR Kong;{Kong}))
          (ILYR (ILYR (BED;_Ln_ was;{be})
                      (NP-PRD (D an;{a})
                              (N assault;{assault})
                              (PP (P-ROLE on;{on})
                                  (NP (D the;{the})
                                      (NS senses;{sens})))))
                (PUNC ,)
                (CONJP (ILYR (ADJP-PRD (AJLYR (AJLYR (ADJ noisy;{noisy}))
                                              (PUNC ,)
                                              (CONJP (AJLYR (ADJ smelly;{smelly})))))))
                (PUNC ,)
                (CONJP (ILYR (NP-PRD (D a;{a})
                                     (N city;{city})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS extremes;{extreme})
                                             (PUNC <hyphen>)
                                             (PP (P-ROLE from;{from})
                                                 (NP (ADJP (ADJ gaudy;{gaudy}))
                                                     (NS mansions;{mansion})
                                                     (PP (P-ROLE on;{on})
                                                         (NP (NPR Victoria;{Victoria})
                                                             (NPR Peak;{Peak})))))
                                             (PP (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (PULQ <ldquo>)
                                                     (ADJP (ADJ dark;{dark}))
                                                     (ADJP (ADJ satanic;{Satanic}))
                                                     (PULQ <ldquo>)
                                                     (NS sweatshops;{sweatshop})
                                                     (PP (P-ROLE at;{at})
                                                         (NP (D the;{the})
                                                             (N north;{north})
                                                             (N end;{end})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (NPR Kowloon;{Kowloon})))))))))))))
          (PUNC .))
  (ID 18_a_stuck_japan))