TSPC 16_a_stuck

16_a_stuck_japan
When I arrived in Japan for the first time in 1993, it wasn't the neon - lit streets of Ginza and Shinjuku that struck me - nor the wild “Ganguro” fashion of the “Harajuku” girls.

arc(r_0016_0003__arrived, r_0016_0002__I, arg0).
arc(r_0016_0003__arrived, r_0016_0005__Japan, r_0016_0004__in_clr15).
arc(r_0016_0003__arrived, r_0016_0007__the_r_0016_0009__time, r_0016_0006__for_nim21).
arc(r_0016_0003__arrived, r_0016_0011__1993, r_0016_0010__in_nim32).
arc(r_0016_0003__arrived, z_000_16_a_stuck_japan_2, nim4).
arc(r_0016_0007__the_r_0016_0009__time, r_0016_0008__first, attrib24).
arc(r_0016_0014__was, r_0016_0016__the_r_0016_0020__streets, arg0).
arc(r_0016_0014__was, r_0016_0025__that_r_0016_0026__struck, prd).
arc(r_0016_0014__was, z_000_16_a_stuck_japan_2, nim2).
arc(r_0016_0015__n_apos_t, r_0016_0014__was, keep_scope).
arc(r_0016_0016__the_r_0016_0020__streets, r_0016_0023__and, r_0016_0021__of).
arc(r_0016_0019__lit, r_0016_0016__the_r_0016_0020__streets, arg1).
arc(r_0016_0019__lit, r_0016_0017__neon, arg0).
arc(r_0016_0023__and, r_0016_0022__Ginza, conj1).
arc(r_0016_0023__and, r_0016_0024__Shinjuku, conj2).
arc(r_0016_0025__that_r_0016_0026__struck, r_0016_0002__I, arg1).
arc(r_0016_0025__that_r_0016_0026__struck, x_000_16_a_stuck_japan_74, arg0).
arc(r_0016_0029__nor, r_0016_0015__n_apos_t, conj1).
arc(r_0016_0029__nor, z_000_16_a_stuck_japan_89, conj2).
arc(r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion, r_0016_0031__wild, attrib93).
arc(r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion, r_0016_0037__the_r_0016_0039__Harajuku_r_0016_0041__girls, r_0016_0036__of).
arc(z_000_16_a_stuck_japan_89, r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion, arg0).
arc(z_000_16_a_stuck_japan_89, z_000_16_a_stuck_japan_2, nim2).

fof(formula,axiom,
    ? [R_0016_0002__I,R_0016_0005__JAPAN,R_0016_0008__FIRST,R_0016_0007__THE_R_0016_0009__TIME,R_0016_0011__1993,Z_000_16_A_STUCK_JAPAN_2,R_0016_0003__ARRIVED,R_0016_0022__GINZA,R_0016_0024__SHINJUKU,R_0016_0023__AND,R_0016_0016__THE_R_0016_0020__STREETS,R_0016_0017__NEON,R_0016_0019__LIT,R_0016_0031__WILD,R_0016_0037__THE_R_0016_0039__HARAJUKU_R_0016_0041__GIRLS,R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION,Z_000_16_A_STUCK_JAPAN_89,R_0016_0029__NOR] :
      ( r_0016_0002__I(R_0016_0002__I)
      & r_0016_0005__Japan(R_0016_0005__JAPAN)
      & r_0016_0008__first(R_0016_0008__FIRST)
      & r_0016_0011__1993(R_0016_0011__1993)
      & r_0016_0017__neon(R_0016_0017__NEON)
      & r_0016_0022__Ginza(R_0016_0022__GINZA)
      & r_0016_0024__Shinjuku(R_0016_0024__SHINJUKU)
      & r_0016_0031__wild(R_0016_0031__WILD)
      & r_0016_0037__the_r_0016_0039__Harajuku_r_0016_0041__girls(R_0016_0037__THE_R_0016_0039__HARAJUKU_R_0016_0041__GIRLS)
      & z_000_16_a_stuck_japan_2(Z_000_16_A_STUCK_JAPAN_2)
      & r_0016_0029__nor(R_0016_0029__NOR)
      & has_conj2(R_0016_0029__NOR,Z_000_16_A_STUCK_JAPAN_89)
      & z_000_16_a_stuck_japan_89(Z_000_16_A_STUCK_JAPAN_89)
      & has_nim2(Z_000_16_A_STUCK_JAPAN_89,Z_000_16_A_STUCK_JAPAN_2)
      & has_arg0(Z_000_16_A_STUCK_JAPAN_89,R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION)
      & r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion(R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION)
      & has_r_0016_0036__of(R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION,R_0016_0037__THE_R_0016_0039__HARAJUKU_R_0016_0041__GIRLS)
      & has_attrib93(R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION,R_0016_0031__WILD)
      & has_conj1(R_0016_0029__NOR,R_0016_0015__N_APOS_T)
      & ~ ? [X_000_16_A_STUCK_JAPAN_74,R_0016_0025__THAT_R_0016_0026__STRUCK,R_0016_0014__WAS] :
            ( x_000_16_a_stuck_japan_74(X_000_16_A_STUCK_JAPAN_74)
            & r_0016_0014__was(R_0016_0014__WAS)
            & has_nim2(R_0016_0014__WAS,Z_000_16_A_STUCK_JAPAN_2)
            & has_prd(R_0016_0014__WAS,R_0016_0025__THAT_R_0016_0026__STRUCK)
            & r_0016_0025__that_r_0016_0026__struck(R_0016_0025__THAT_R_0016_0026__STRUCK)
            & has_arg0(R_0016_0025__THAT_R_0016_0026__STRUCK,X_000_16_A_STUCK_JAPAN_74)
            & has_arg1(R_0016_0025__THAT_R_0016_0026__STRUCK,R_0016_0002__I)
            & has_arg0(R_0016_0014__WAS,R_0016_0016__THE_R_0016_0020__STREETS) )
      & r_0016_0019__lit(R_0016_0019__LIT)
      & has_arg0(R_0016_0019__LIT,R_0016_0017__NEON)
      & has_arg1(R_0016_0019__LIT,R_0016_0016__THE_R_0016_0020__STREETS)
      & r_0016_0016__the_r_0016_0020__streets(R_0016_0016__THE_R_0016_0020__STREETS)
      & has_r_0016_0021__of(R_0016_0016__THE_R_0016_0020__STREETS,R_0016_0023__AND)
      & r_0016_0023__and(R_0016_0023__AND)
      & has_conj2(R_0016_0023__AND,R_0016_0024__SHINJUKU)
      & has_conj1(R_0016_0023__AND,R_0016_0022__GINZA)
      & r_0016_0003__arrived(R_0016_0003__ARRIVED)
      & has_nim4(R_0016_0003__ARRIVED,Z_000_16_A_STUCK_JAPAN_2)
      & has_r_0016_0010__in_nim32(R_0016_0003__ARRIVED,R_0016_0011__1993)
      & has_r_0016_0006__for_nim21(R_0016_0003__ARRIVED,R_0016_0007__THE_R_0016_0009__TIME)
      & r_0016_0007__the_r_0016_0009__time(R_0016_0007__THE_R_0016_0009__TIME)
      & has_attrib24(R_0016_0007__THE_R_0016_0009__TIME,R_0016_0008__FIRST)
      & has_r_0016_0004__in_clr15(R_0016_0003__ARRIVED,R_0016_0005__JAPAN)
      & has_arg0(R_0016_0003__ARRIVED,R_0016_0002__I) ) ).

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (PRO I;{I}))
                          (VBD;_Ipr_ arrived;{arrive[in]})
                          (PP-CLR (P-ROLE in;{in})
                                  (NP;{JAPAN} (NPR Japan;{Japan})))
                          (PP-NIM (P-ROLE for;{for})
                                  (NP (D the;{the})
                                      (ADJP (ADJ first;{first}))
                                      (N time;{time})))
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (NUM 1993)))))
          (PUNC ,)
          (ILYR (ILYR (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                            (BED;_cleft_Vn_ was;{be})
                            (NEG n<apos>t;{not})
                            (NP-FOC (D the;{the})
                                    (IP-PPL (NP-LGS (N neon;{neon}))
                                            (PUNC <hyphen>)
                                            (VVN;_Tn_ lit;{light}))
                                    (NS streets;{street})
                                    (PP (P-ROLE of;{of})
                                        (NP (NLYR (NLYR (NPR Ginza;{Ginza}))
                                                  (CONJP (CONJ and;{and})
                                                         (NLYR (NPR Shinjuku;{Shinjuku})))))))
                            (IP-CLF (C that;{that})
                                    (NP-SBJ *T*)
                                    (VBD;_Tn_ struck;{strike})
                                    (NP-OB1 (PRO me;{I}))))
                      (PUNC <hyphen>)
                      (CONJP (CONJ nor;{nor})
                             (ILYR (NP-FOC (D the;{the})
                                           (ADJP (ADJ wild;{wild}))
                                           (PULQ <ldquo>)
                                           (NPR Ganguro;{Ganguro})
                                           (PURQ <rdquo>)
                                           (N fashion;{fashion})
                                           (PP (P-ROLE of;{of})
                                               (NP (D the;{the})
                                                   (PULQ <ldquo>)
                                                   (NPR Harajuku;{Harajuku})
                                                   (PURQ <rdquo>)
                                                   (NS girls;{girl}))))))))
          (PUNC .))
  (ID 16_a_stuck_japan))