arc(r_0067_0002__is, r_0067_0001__Tokyo, arg0).
arc(r_0067_0002__is, r_0067_0003__home, clr9).
arc(r_0067_0002__is, r_0067_0006__restaurants, r_0067_0004__to_nim15).
arc(r_0067_0006__restaurants, r_0067_0005__superlative, attrib16).
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_0015__enchanting, r_0067_0014__most, qual41).
arc(r_0067_0016__animation, r_0067_0011__the_r_0067_0012__world_r_0067_0013___apos_s, gen).
arc(r_0067_0016__animation, r_0067_0015__enchanting, attrib40).
arc(r_0067_0023__sure_r_0067_0028__is, r_0067_0025__J_r_0067_0027__pop, arg0).
arc(r_0067_0023__sure_r_0067_0028__is, r_0067_0029__awful, prd).
arc(r_0067_0031__but, r_0067_0023__sure_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, nim94).
arc(r_0067_0033__is, r_0067_0035__a_r_0067_0038__power_r_0067_0039__superpower, prd).
arc(r_0067_0035__a_r_0067_0038__power_r_0067_0039__superpower, r_0067_0036__soft, attrib100).
arc(z_000_67_a_stuck_japan_2, r_0067_0002__is, conj1).
arc(z_000_67_a_stuck_japan_2, r_0067_0010__makes, conj2).
arc(z_000_67_a_stuck_japan_2, r_0067_0031__but, conj3).

fof(formula,axiom,
    ? [Z_67_A_STUCK_JAPAN_2,R_67_2_IS,R_67_1_TOKYO,R_67_3_HOME,R_67_6_RESTAURANTS,R_67_5_SUPERLATIVE,R_67_10_MAKES,R_67_8_STUDIO_GHIBLI,R_67_16_ANIMATION,R_67_15_ENCHANTING,R_67_14_MOST,R_67_11_THE_WORLD_APOS_S,R_67_31_BUT,R_67_23_SURE_IS,R_67_25_J_POP,R_67_29_AWFUL,R_67_33_IS,R_67_32_JAPAN,R_67_34_UNDOUBTEDLY,R_67_35_A_POWER_SUPERPOWER,R_67_36_SOFT] :
      ( tokyo(R_67_1_TOKYO)
      & home(R_67_3_HOME)
      & superlative(R_67_5_SUPERLATIVE)
      & studio_Ghibli(R_67_8_STUDIO_GHIBLI)
      & most(R_67_14_MOST)
      & the_world_apos_s(R_67_11_THE_WORLD_APOS_S)
      & j_pop(R_67_25_J_POP)
      & awful(R_67_29_AWFUL)
      & japan(R_67_32_JAPAN)
      & undoubtedly(R_67_34_UNDOUBTEDLY)
      & soft(R_67_36_SOFT)
      & z_67_a_stuck_japan_2(Z_67_A_STUCK_JAPAN_2)
      & conj1(Z_67_A_STUCK_JAPAN_2,R_67_2_IS)
      & is(R_67_2_IS,R_67_1_TOKYO)
      & clr9(R_67_2_IS,R_67_3_HOME)
      & to_nim15(R_67_2_IS,R_67_6_RESTAURANTS)
      & restaurants(R_67_6_RESTAURANTS)
      & attrib16(R_67_6_RESTAURANTS,R_67_5_SUPERLATIVE)
      & conj2(Z_67_A_STUCK_JAPAN_2,R_67_10_MAKES)
      & makes(R_67_10_MAKES,R_67_8_STUDIO_GHIBLI,R_67_16_ANIMATION)
      & animation(R_67_16_ANIMATION)
      & attrib40(R_67_16_ANIMATION,R_67_15_ENCHANTING)
      & enchanting(R_67_15_ENCHANTING)
      & qual41(R_67_15_ENCHANTING,R_67_14_MOST)
      & gen(R_67_16_ANIMATION,R_67_11_THE_WORLD_APOS_S)
      & conj3(Z_67_A_STUCK_JAPAN_2,R_67_31_BUT)
      & but(R_67_31_BUT)
      & conj1(R_67_31_BUT,R_67_23_SURE_IS)
      & sure_is(R_67_23_SURE_IS,R_67_25_J_POP,R_67_29_AWFUL)
      & conj2(R_67_31_BUT,R_67_33_IS)
      & is(R_67_33_IS,R_67_32_JAPAN,R_67_35_A_POWER_SUPERPOWER)
      & a_power_superpower(R_67_35_A_POWER_SUPERPOWER)
      & attrib100(R_67_35_A_POWER_SUPERPOWER,R_67_36_SOFT)
      & nim94(R_67_33_IS,R_67_34_UNDOUBTEDLY) ) ).

( (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})
                                                        (ADJP (ADJ soft;{soft}))
                                                        (PUNC <hyphen>)
                                                        (N power;{power})
                                                        (N superpower;{superpower}))))))))
          (PUNC .))
  (ID 67_a_stuck_japan))