arc(r_0166_0001__Will, r_0166_0008__or, scope).
arc(r_0166_0004__fade, r_0166_0002__Japan, arg0).
arc(r_0166_0004__fade, r_0166_0003__gradually, nim11).
arc(r_0166_0004__fade, r_0166_0006__irrelevance, r_0166_0005__into_clr19).
arc(r_0166_0008__or, r_0166_0004__fade, conj1).
arc(r_0166_0008__or, r_0166_0009__re_hyphen_invent, conj2).
arc(r_0166_0009__re_hyphen_invent, r_0166_0002__Japan, arg0).
arc(r_0166_0009__re_hyphen_invent, r_0166_0002__Japan, arg1).

fof(formula,axiom,
    ~ ? [R_166_8_OR,R_166_4_FADE,R_166_3_GRADUALLY,R_166_6_IRRELEVANCE,R_166_9_RE_HYPHEN_INVENT,R_166_2_JAPAN] :
        ( gradually(R_166_3_GRADUALLY)
        & irrelevance(R_166_6_IRRELEVANCE)
        & japan(R_166_2_JAPAN)
        & or(R_166_8_OR)
        & conj1(R_166_8_OR,R_166_4_FADE)
        & fade(R_166_4_FADE,R_166_2_JAPAN)
        & nim11(R_166_4_FADE,R_166_3_GRADUALLY)
        & into_clr19(R_166_4_FADE,R_166_6_IRRELEVANCE)
        & conj2(R_166_8_OR,R_166_9_RE_HYPHEN_INVENT)
        & re_hyphen_invent(R_166_9_RE_HYPHEN_INVENT,R_166_2_JAPAN,R_166_2_JAPAN) ) ).

( (CP-QUE-MAT (IP-SUB (MD;_cat_Vi_ Will;{will})
                      (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
                      (IP-PPL-CAT (ILYR (ILYR (ADVP-NIM (ADV gradually;{gradually}))
                                              (VBP;_Ipr_ fade;{fade[into]})
                                              (PP-CLR (P-ROLE into;{into})
                                                      (NP (N irrelevance;{irrelevance}))))
                                        (PUNC ,)
                                        (CONJP (CONJ or;{or})
                                               (ILYR (VB;_Tn_ re<hyphen>invent;{reinvent})
                                                     (NP-OB1;{JAPAN} (PNX itself;{itself})))))))
              (PUNC ?))
  (ID 166_a_stuck_japan))