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_16_3_ARRIVED,R_16_2_I,R_16_5_JAPAN,R_16_7_THE_TIME,R_16_8_FIRST,R_16_11_1993,R_16_19_LIT,R_16_17_NEON,R_16_16_THE_STREETS,R_16_23_AND,R_16_22_GINZA,R_16_24_SHINJUKU,R_16_29_NOR,Z_16_A_STUCK_JAPAN_89,R_16_30_THE_GANGURO_FASHION,R_16_31_WILD,R_16_37_THE_HARAJUKU_GIRLS,Z_16_A_STUCK_JAPAN_2] :
      ( i(R_16_2_I)
      & japan(R_16_5_JAPAN)
      & first(R_16_8_FIRST)
      & 1993(R_16_11_1993)
      & neon(R_16_17_NEON)
      & ginza(R_16_22_GINZA)
      & shinjuku(R_16_24_SHINJUKU)
      & wild(R_16_31_WILD)
      & the_Harajuku_girls(R_16_37_THE_HARAJUKU_GIRLS)
      & arrived(R_16_3_ARRIVED,R_16_2_I)
      & nim4(R_16_3_ARRIVED,Z_16_A_STUCK_JAPAN_2)
      & in_clr15(R_16_3_ARRIVED,R_16_5_JAPAN)
      & for_nim21(R_16_3_ARRIVED,R_16_7_THE_TIME)
      & the_time(R_16_7_THE_TIME)
      & attrib24(R_16_7_THE_TIME,R_16_8_FIRST)
      & in_nim32(R_16_3_ARRIVED,R_16_11_1993)
      & lit(R_16_19_LIT,R_16_17_NEON,R_16_16_THE_STREETS)
      & the_streets(R_16_16_THE_STREETS)
      & of(R_16_16_THE_STREETS,R_16_23_AND)
      & and(R_16_23_AND)
      & conj1(R_16_23_AND,R_16_22_GINZA)
      & conj2(R_16_23_AND,R_16_24_SHINJUKU)
      & nor(R_16_29_NOR)
      & conj1(R_16_29_NOR,R_16_15_N_APOS_T)
      & ~ ? [R_16_14_WAS,R_16_25_THAT_STRUCK,X_16_A_STUCK_JAPAN_74] :
            ( was(R_16_14_WAS,R_16_16_THE_STREETS,R_16_25_THAT_STRUCK)
            & that_struck(R_16_25_THAT_STRUCK,X_16_A_STUCK_JAPAN_74,R_16_2_I)
            & nim2(R_16_14_WAS,Z_16_A_STUCK_JAPAN_2) )
      & conj2(R_16_29_NOR,Z_16_A_STUCK_JAPAN_89)
      & z_16_a_stuck_japan_89(Z_16_A_STUCK_JAPAN_89,R_16_30_THE_GANGURO_FASHION)
      & the_Ganguro_fashion(R_16_30_THE_GANGURO_FASHION)
      & attrib93(R_16_30_THE_GANGURO_FASHION,R_16_31_WILD)
      & of(R_16_30_THE_GANGURO_FASHION,R_16_37_THE_HARAJUKU_GIRLS)
      & nim2(Z_16_A_STUCK_JAPAN_89,Z_16_A_STUCK_JAPAN_2) ) ).

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