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.

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

arc(r_0016_0003__arrived_r_0016_0004__in,r_0016_0001__When,nim).
arc(r_0016_0003__arrived_r_0016_0004__in,r_0016_0002__I,arg0).
arc(r_0016_0003__arrived_r_0016_0004__in,r_0016_0005__Japan,arg1).
arc(r_0016_0003__arrived_r_0016_0004__in,r_0016_0007__the_r_0016_0009__time,r_0016_0006__for__nim).
arc(r_0016_0003__arrived_r_0016_0004__in,r_0016_0011__1993,r_0016_0010__in__nim).
arc(r_0016_0007__the_r_0016_0009__time,r_0016_0008__first,attrib).
arc(r_0016_0014__was,r_0016_0001__When,nim).
arc(r_0016_0014__was,r_0016_0016__the_r_0016_0020__streets,arg0).
arc(r_0016_0014__was,z_0016_5010,prd).
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,inv_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_0026__struck,r_0016_0002__I,arg1).
arc(r_0016_0026__struck,z_0016_5010,arg0).
arc(r_0016_0029__nor,r_0016_0015__n_apos_t,conj1).
arc(r_0016_0029__nor,z_0016_5020,conj2).
arc(r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion,r_0016_0031__wild,attrib).
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_0016_5020,r_0016_0001__When,nim).
arc(z_0016_5020,r_0016_0030__the_r_0016_0033__Ganguro_r_0016_0035__fashion,arg0).

fof(formula,axiom,
    ? [R_0016_0001__WHEN,R_0016_0002__I,R_0016_0005__JAPAN,R_0016_0008__FIRST,R_0016_0007__THE_R_0016_0009__TIME,R_0016_0011__1993,R_0016_0003__ARRIVED_R_0016_0004__IN,Z_0016_5010,R_0016_0026__STRUCK,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_0016_5020,R_0016_0029__NOR] :
      ( r_0016_0001__When(R_0016_0001__WHEN)
      & 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_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_0016_5010(Z_0016_5010)
      & r_0016_0029__nor(R_0016_0029__NOR)
      & has_conj2(R_0016_0029__NOR,Z_0016_5020)
      & z_0016_5020(Z_0016_5020)
      & has_arg0(Z_0016_5020,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_attrib(R_0016_0030__THE_R_0016_0033__GANGURO_R_0016_0035__FASHION,R_0016_0031__WILD)
      & has_nim(Z_0016_5020,R_0016_0001__WHEN)
      & has_conj1(R_0016_0029__NOR,R_0016_0015__N_APOS_T)
      & ~ ? [R_0016_0022__GINZA,R_0016_0024__SHINJUKU,R_0016_0023__AND,R_0016_0017__NEON,R_0016_0019__LIT,R_0016_0016__THE_R_0016_0020__STREETS,R_0016_0014__WAS] :
            ( 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_0014__was(R_0016_0014__WAS)
            & has_prd(R_0016_0014__WAS,Z_0016_5010)
            & has_arg0(R_0016_0014__WAS,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_inv_arg1(R_0016_0016__THE_R_0016_0020__STREETS,R_0016_0019__LIT)
            & r_0016_0019__lit(R_0016_0019__LIT)
            & has_arg0(R_0016_0019__LIT,R_0016_0017__NEON)
            & 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)
            & has_nim(R_0016_0014__WAS,R_0016_0001__WHEN) )
      & r_0016_0026__struck(R_0016_0026__STRUCK)
      & has_arg0(R_0016_0026__STRUCK,Z_0016_5010)
      & has_arg1(R_0016_0026__STRUCK,R_0016_0002__I)
      & r_0016_0003__arrived_r_0016_0004__in(R_0016_0003__ARRIVED_R_0016_0004__IN)
      & has_r_0016_0010__in__nim(R_0016_0003__ARRIVED_R_0016_0004__IN,R_0016_0011__1993)
      & has_r_0016_0006__for__nim(R_0016_0003__ARRIVED_R_0016_0004__IN,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_attrib(R_0016_0007__THE_R_0016_0009__TIME,R_0016_0008__FIRST)
      & has_arg1(R_0016_0003__ARRIVED_R_0016_0004__IN,R_0016_0005__JAPAN)
      & has_arg0(R_0016_0003__ARRIVED_R_0016_0004__IN,R_0016_0002__I)
      & has_nim(R_0016_0003__ARRIVED_R_0016_0004__IN,R_0016_0001__WHEN) ) ).