TSPC 67_a_stuck

67_a_stuck_japan
Tokyo is home to superlative restaurants; Studio Ghibli makes the world's most enchanting animation (sorry, Disney); sure, J - pop is awful, but Japan is undoubtedly a soft - power superpower.

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,
    ? [R_0067_0001__TOKYO,R_0067_0003__HOME,R_0067_0005__SUPERLATIVE,R_0067_0006__RESTAURANTS,R_0067_0002__IS,R_0067_0008__STUDIO_R_0067_0009__GHIBLI,R_0067_0011__THE_R_0067_0012__WORLD_R_0067_0013___APOS_S,R_0067_0014__MOST,R_0067_0015__ENCHANTING,R_0067_0016__ANIMATION,R_0067_0010__MAKES,R_0067_0025__J_R_0067_0027__POP,R_0067_0029__AWFUL,R_0067_0023__SURE_R_0067_0028__IS,R_0067_0032__JAPAN,R_0067_0034__UNDOUBTEDLY,R_0067_0036__SOFT,R_0067_0035__A_R_0067_0038__POWER_R_0067_0039__SUPERPOWER,R_0067_0033__IS,R_0067_0031__BUT,Z_000_67_A_STUCK_JAPAN_2] :
      ( r_0067_0001__Tokyo(R_0067_0001__TOKYO)
      & r_0067_0003__home(R_0067_0003__HOME)
      & 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_0013___apos_s(R_0067_0011__THE_R_0067_0012__WORLD_R_0067_0013___APOS_S)
      & r_0067_0014__most(R_0067_0014__MOST)
      & 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_0036__soft(R_0067_0036__SOFT)
      & z_000_67_a_stuck_japan_2(Z_000_67_A_STUCK_JAPAN_2)
      & has_conj3(Z_000_67_A_STUCK_JAPAN_2,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_0038__POWER_R_0067_0039__SUPERPOWER)
      & r_0067_0035__a_r_0067_0038__power_r_0067_0039__superpower(R_0067_0035__A_R_0067_0038__POWER_R_0067_0039__SUPERPOWER)
      & has_attrib100(R_0067_0035__A_R_0067_0038__POWER_R_0067_0039__SUPERPOWER,R_0067_0036__SOFT)
      & has_nim94(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_0023__SURE_R_0067_0028__IS)
      & r_0067_0023__sure_r_0067_0028__is(R_0067_0023__SURE_R_0067_0028__IS)
      & has_prd(R_0067_0023__SURE_R_0067_0028__IS,R_0067_0029__AWFUL)
      & has_arg0(R_0067_0023__SURE_R_0067_0028__IS,R_0067_0025__J_R_0067_0027__POP)
      & has_conj2(Z_000_67_A_STUCK_JAPAN_2,R_0067_0010__MAKES)
      & r_0067_0010__makes(R_0067_0010__MAKES)
      & has_arg1(R_0067_0010__MAKES,R_0067_0016__ANIMATION)
      & r_0067_0016__animation(R_0067_0016__ANIMATION)
      & has_attrib40(R_0067_0016__ANIMATION,R_0067_0015__ENCHANTING)
      & r_0067_0015__enchanting(R_0067_0015__ENCHANTING)
      & has_qual41(R_0067_0015__ENCHANTING,R_0067_0014__MOST)
      & has_gen(R_0067_0016__ANIMATION,R_0067_0011__THE_R_0067_0012__WORLD_R_0067_0013___APOS_S)
      & has_arg0(R_0067_0010__MAKES,R_0067_0008__STUDIO_R_0067_0009__GHIBLI)
      & has_conj1(Z_000_67_A_STUCK_JAPAN_2,R_0067_0002__IS)
      & r_0067_0002__is(R_0067_0002__IS)
      & has_r_0067_0004__to_nim15(R_0067_0002__IS,R_0067_0006__RESTAURANTS)
      & r_0067_0006__restaurants(R_0067_0006__RESTAURANTS)
      & has_attrib16(R_0067_0006__RESTAURANTS,R_0067_0005__SUPERLATIVE)
      & has_clr9(R_0067_0002__IS,R_0067_0003__HOME)
      & has_arg0(R_0067_0002__IS,R_0067_0001__TOKYO) ) ).

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