( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR Tokyo;{Tokyo}))
                      (BEP;__ is;{be})
                      (ADVP-CLR (ADV home;{home}))
                      (PP-NIM (P-ROLE to;{to})
                              (NP (ADJP (ADJ superlative;{superlative}))
                                  (NS restaurants;{restaurant}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NPR Studio;{Studio})
                                     (NPR Ghibli;{Ghibli}))
                             (VBP;_Tn_ makes;{make})
                             (NP-OB1 (NP-GEN (D the;{the})
                                             (N world;{world})
                                             (GENM <apos>s))
                                     (ADJP (ADVP (ADVS most;{most}))
                                           (ADJ enchanting;{enchanting}))
                                     (N animation;{animation}))
                             (PULB -LRB-)
                             (PRN (FRAG (FRM sorry;{sorry})
                                        (PUNC ,)
                                        (NP (NPR Disney;{Disney}))))
                             (PURB -RRB-)))
                (PUNC ;)
                (CONJP (ILYR (ILYR (ILYR (REACT sure)
                                         (PUNC ,)
                                         (NP-SBJ (NPR J;{j})
                                                 (PUNC <hyphen>)
                                                 (NPR pop;{pop}))
                                         (BEP;_La_ is;{be})
                                         (ADJP-PRD (ADJ awful;{awful})))
                                   (PUNC ,)
                                   (CONJP (CONJ but;{but})
                                          (ILYR (NP-SBJ (NPR Japan;{Japan}))
                                                (BEP;_Ln_ is;{be})
                                                (ADVP-NIM (ADV undoubtedly;{undoubtedly}))
                                                (NP-PRD (D a;{a})
                                                        (NLYR (ADJP (ADJ soft;{soft}))
                                                              (PUNC <hyphen>)
                                                              (N power;{power}))
                                                        (N superpower;{superpower}))))))))
          (PUNC .))
  (ID 67_a_stuck_japan))

arc(r_0067_0002__is_r_0067_0003__home,r_0067_0001__Tokyo,arg0).
arc(r_0067_0002__is_r_0067_0003__home,r_0067_0006__restaurants,r_0067_0004__to__nim).
arc(r_0067_0006__restaurants,r_0067_0005__superlative,attrib).
arc(r_0067_0010__makes,r_0067_0008__Studio_r_0067_0009__Ghibli,arg0).
arc(r_0067_0010__makes,r_0067_0016__animation,arg1).
arc(r_0067_0010__makes,z_0067_5016,prn).
arc(r_0067_0015__enchanting,r_0067_0014__most,qual).
arc(r_0067_0016__animation,r_0067_0011__the_r_0067_0012__world,gen).
arc(r_0067_0016__animation,r_0067_0015__enchanting,attrib).
arc(r_0067_0028__is,r_0067_0025__J_r_0067_0027__pop,arg0).
arc(r_0067_0028__is,r_0067_0029__awful,prd).
arc(r_0067_0031__but,r_0067_0028__is,conj1).
arc(r_0067_0031__but,r_0067_0033__is,conj2).
arc(r_0067_0033__is,r_0067_0032__Japan,arg0).
arc(r_0067_0033__is,r_0067_0034__undoubtedly,nim).
arc(r_0067_0033__is,r_0067_0035__a_r_0067_0036__soft_r_0067_0038__power_r_0067_0039__superpower,prd).
arc(z_0067_5002,r_0067_0002__is_r_0067_0003__home,conj1).
arc(z_0067_5002,r_0067_0010__makes,conj2).
arc(z_0067_5002,r_0067_0031__but,conj3).
arc(z_0067_5016,r_0067_0020__Disney,z_0067_5015).
arc(z_0067_5016,z_0067_5014,arg0).

fof(formula,axiom,
    ? [R_0067_0001__TOKYO,R_0067_0005__SUPERLATIVE,R_0067_0006__RESTAURANTS,R_0067_0002__IS_R_0067_0003__HOME,R_0067_0008__STUDIO_R_0067_0009__GHIBLI,R_0067_0011__THE_R_0067_0012__WORLD,R_0067_0014__MOST,R_0067_0015__ENCHANTING,R_0067_0016__ANIMATION,R_0067_0020__DISNEY,Z_0067_5014,Z_0067_5016,R_0067_0010__MAKES,R_0067_0025__J_R_0067_0027__POP,R_0067_0029__AWFUL,R_0067_0028__IS,R_0067_0032__JAPAN,R_0067_0034__UNDOUBTEDLY,R_0067_0035__A_R_0067_0036__SOFT_R_0067_0038__POWER_R_0067_0039__SUPERPOWER,R_0067_0033__IS,R_0067_0031__BUT,Z_0067_5002] :
      ( r_0067_0001__Tokyo(R_0067_0001__TOKYO)
      & r_0067_0005__superlative(R_0067_0005__SUPERLATIVE)
      & r_0067_0008__Studio_r_0067_0009__Ghibli(R_0067_0008__STUDIO_R_0067_0009__GHIBLI)
      & r_0067_0011__the_r_0067_0012__world(R_0067_0011__THE_R_0067_0012__WORLD)
      & r_0067_0014__most(R_0067_0014__MOST)
      & r_0067_0020__Disney(R_0067_0020__DISNEY)
      & r_0067_0025__J_r_0067_0027__pop(R_0067_0025__J_R_0067_0027__POP)
      & r_0067_0029__awful(R_0067_0029__AWFUL)
      & r_0067_0032__Japan(R_0067_0032__JAPAN)
      & r_0067_0034__undoubtedly(R_0067_0034__UNDOUBTEDLY)
      & r_0067_0035__a_r_0067_0036__soft_r_0067_0038__power_r_0067_0039__superpower(R_0067_0035__A_R_0067_0036__SOFT_R_0067_0038__POWER_R_0067_0039__SUPERPOWER)
      & z_0067_5014(Z_0067_5014)
      & z_0067_5002(Z_0067_5002)
      & has_conj3(Z_0067_5002,R_0067_0031__BUT)
      & r_0067_0031__but(R_0067_0031__BUT)
      & has_conj2(R_0067_0031__BUT,R_0067_0033__IS)
      & r_0067_0033__is(R_0067_0033__IS)
      & has_prd(R_0067_0033__IS,R_0067_0035__A_R_0067_0036__SOFT_R_0067_0038__POWER_R_0067_0039__SUPERPOWER)
      & has_nim(R_0067_0033__IS,R_0067_0034__UNDOUBTEDLY)
      & has_arg0(R_0067_0033__IS,R_0067_0032__JAPAN)
      & has_conj1(R_0067_0031__BUT,R_0067_0028__IS)
      & r_0067_0028__is(R_0067_0028__IS)
      & has_prd(R_0067_0028__IS,R_0067_0029__AWFUL)
      & has_arg0(R_0067_0028__IS,R_0067_0025__J_R_0067_0027__POP)
      & has_conj2(Z_0067_5002,R_0067_0010__MAKES)
      & r_0067_0010__makes(R_0067_0010__MAKES)
      & has_prn(R_0067_0010__MAKES,Z_0067_5016)
      & z_0067_5016(Z_0067_5016)
      & has_arg0(Z_0067_5016,Z_0067_5014)
      & has_z_0067_5015(Z_0067_5016,R_0067_0020__DISNEY)
      & has_arg1(R_0067_0010__MAKES,R_0067_0016__ANIMATION)
      & r_0067_0016__animation(R_0067_0016__ANIMATION)
      & has_attrib(R_0067_0016__ANIMATION,R_0067_0015__ENCHANTING)
      & r_0067_0015__enchanting(R_0067_0015__ENCHANTING)
      & has_qual(R_0067_0015__ENCHANTING,R_0067_0014__MOST)
      & has_gen(R_0067_0016__ANIMATION,R_0067_0011__THE_R_0067_0012__WORLD)
      & has_arg0(R_0067_0010__MAKES,R_0067_0008__STUDIO_R_0067_0009__GHIBLI)
      & has_conj1(Z_0067_5002,R_0067_0002__IS_R_0067_0003__HOME)
      & r_0067_0002__is_r_0067_0003__home(R_0067_0002__IS_R_0067_0003__HOME)
      & has_r_0067_0004__to__nim(R_0067_0002__IS_R_0067_0003__HOME,R_0067_0006__RESTAURANTS)
      & r_0067_0006__restaurants(R_0067_0006__RESTAURANTS)
      & has_attrib(R_0067_0006__RESTAURANTS,R_0067_0005__SUPERLATIVE)
      & has_arg0(R_0067_0002__IS_R_0067_0003__HOME,R_0067_0001__TOKYO) ) ).