( (IP-MAT (NP-SBJ;{JAPAN} (PRO It;{it}))
          (BEP;_equ_Vw_ <apos>s;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ (D the;{the})
                                      (N world;{world}))
                              (BEP;_La_ is;{be})
                              (ADJP-PRD (ADVP (ADV so;{so}))
                                        (ADJ thrilled;{thrilled})
                                        (PP (P-ROLE by;{by})
                                            (NP (D all;{all})
                                                (NS things;{thing})
                                                (IP-EOP (NP-SBJ *T*)
                                                        (ADJP-PRD (ADJ Japanese;{Japanese})))
                                                (PUNC ,)
                                                (PP (P-ROLE from;{from})
                                                    (NP (D the;{the})
                                                        (N powder;{powder})
                                                        (N snow;{snow})))
                                                (PP (P-ROLE to;{to})
                                                    (NP (D the;{the})
                                                        (N fashion;{fashion}))))))))
          (PUNC .))
  (ID 66_a_stuck_japan))

arc(r_0066_0002___apos_s,r_0066_0001__It,arg0).
arc(r_0066_0002___apos_s,r_0066_0006__is,prd).
arc(r_0066_0006__is,r_0066_0003__why,nim).
arc(r_0066_0006__is,r_0066_0004__the_r_0066_0005__world,arg0).
arc(r_0066_0006__is,r_0066_0008__thrilled,prd).
arc(r_0066_0008__thrilled,r_0066_0007__so,qual).
arc(r_0066_0008__thrilled,r_0066_0010__all_r_0066_0011__things,r_0066_0009__by).
arc(r_0066_0010__all_r_0066_0011__things,r_0066_0015__the_r_0066_0016__powder_r_0066_0017__snow,r_0066_0014__from).
arc(r_0066_0010__all_r_0066_0011__things,r_0066_0019__the_r_0066_0020__fashion,r_0066_0018__to).
arc(z_0066_5008,r_0066_0010__all_r_0066_0011__things,arg0).
arc(z_0066_5008,r_0066_0012__Japanese,prd).

fof(formula,axiom,
    ? [R_0066_0001__IT,R_0066_0003__WHY,R_0066_0004__THE_R_0066_0005__WORLD,R_0066_0007__SO,R_0066_0015__THE_R_0066_0016__POWDER_R_0066_0017__SNOW,R_0066_0019__THE_R_0066_0020__FASHION,R_0066_0010__ALL_R_0066_0011__THINGS,R_0066_0008__THRILLED,R_0066_0006__IS,R_0066_0002___APOS_S,R_0066_0012__JAPANESE,Z_0066_5008] :
      ( r_0066_0001__It(R_0066_0001__IT)
      & r_0066_0003__why(R_0066_0003__WHY)
      & r_0066_0004__the_r_0066_0005__world(R_0066_0004__THE_R_0066_0005__WORLD)
      & r_0066_0007__so(R_0066_0007__SO)
      & r_0066_0012__Japanese(R_0066_0012__JAPANESE)
      & r_0066_0015__the_r_0066_0016__powder_r_0066_0017__snow(R_0066_0015__THE_R_0066_0016__POWDER_R_0066_0017__SNOW)
      & r_0066_0019__the_r_0066_0020__fashion(R_0066_0019__THE_R_0066_0020__FASHION)
      & z_0066_5008(Z_0066_5008)
      & has_prd(Z_0066_5008,R_0066_0012__JAPANESE)
      & has_arg0(Z_0066_5008,R_0066_0010__ALL_R_0066_0011__THINGS)
      & r_0066_0010__all_r_0066_0011__things(R_0066_0010__ALL_R_0066_0011__THINGS)
      & has_r_0066_0018__to(R_0066_0010__ALL_R_0066_0011__THINGS,R_0066_0019__THE_R_0066_0020__FASHION)
      & has_r_0066_0014__from(R_0066_0010__ALL_R_0066_0011__THINGS,R_0066_0015__THE_R_0066_0016__POWDER_R_0066_0017__SNOW)
      & r_0066_0002___apos_s(R_0066_0002___APOS_S)
      & has_prd(R_0066_0002___APOS_S,R_0066_0006__IS)
      & r_0066_0006__is(R_0066_0006__IS)
      & has_prd(R_0066_0006__IS,R_0066_0008__THRILLED)
      & r_0066_0008__thrilled(R_0066_0008__THRILLED)
      & has_r_0066_0009__by(R_0066_0008__THRILLED,R_0066_0010__ALL_R_0066_0011__THINGS)
      & has_qual(R_0066_0008__THRILLED,R_0066_0007__SO)
      & has_arg0(R_0066_0006__IS,R_0066_0004__THE_R_0066_0005__WORLD)
      & has_nim(R_0066_0006__IS,R_0066_0003__WHY)
      & has_arg0(R_0066_0002___APOS_S,R_0066_0001__IT) ) ).