TSPC 48_a_stuck

48_a_stuck_japan
It's a clue to how Japan has ended up with the world's largest mountain of public debt.

arc(r_0048_0002___apos_s, r_0048_0001__It, arg0).
arc(r_0048_0002___apos_s, r_0048_0003__a_r_0048_0004__clue, prd).
arc(r_0048_0003__a_r_0048_0004__clue, r_0048_0008__has, r_0048_0005__to).
arc(r_0048_0008__has, r_0048_0006__how, nim17).
arc(r_0048_0008__has, r_0048_0009__ended_r_0048_0010__up, scope).
arc(r_0048_0009__ended_r_0048_0010__up, r_0048_0007__Japan, arg0).
arc(r_0048_0009__ended_r_0048_0010__up, r_0048_0016__mountain, r_0048_0011__with_nim33).
arc(r_0048_0016__mountain, r_0048_0012__the_r_0048_0013__world_r_0048_0014___apos_s, gen).
arc(r_0048_0016__mountain, r_0048_0015__largest, attrib41).
arc(r_0048_0016__mountain, r_0048_0019__debt, r_0048_0017__of).
arc(r_0048_0019__debt, r_0048_0018__public, attrib50).

fof(formula,axiom,
    ? [R_0048_0001__IT,R_0048_0006__HOW,R_0048_0007__JAPAN,R_0048_0012__THE_R_0048_0013__WORLD_R_0048_0014___APOS_S,R_0048_0015__LARGEST,R_0048_0018__PUBLIC,R_0048_0019__DEBT,R_0048_0016__MOUNTAIN,R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP,R_0048_0003__A_R_0048_0004__CLUE,R_0048_0002___APOS_S] :
      ( r_0048_0001__It(R_0048_0001__IT)
      & r_0048_0006__how(R_0048_0006__HOW)
      & r_0048_0007__Japan(R_0048_0007__JAPAN)
      & r_0048_0012__the_r_0048_0013__world_r_0048_0014___apos_s(R_0048_0012__THE_R_0048_0013__WORLD_R_0048_0014___APOS_S)
      & r_0048_0015__largest(R_0048_0015__LARGEST)
      & r_0048_0018__public(R_0048_0018__PUBLIC)
      & r_0048_0002___apos_s(R_0048_0002___APOS_S)
      & has_prd(R_0048_0002___APOS_S,R_0048_0003__A_R_0048_0004__CLUE)
      & r_0048_0003__a_r_0048_0004__clue(R_0048_0003__A_R_0048_0004__CLUE)
      & has_r_0048_0005__to(R_0048_0003__A_R_0048_0004__CLUE,R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP)
      & r_0048_0008__has_r_0048_0009__ended_r_0048_0010__up(R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP)
      & has_r_0048_0011__with_nim33(R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP,R_0048_0016__MOUNTAIN)
      & r_0048_0016__mountain(R_0048_0016__MOUNTAIN)
      & has_r_0048_0017__of(R_0048_0016__MOUNTAIN,R_0048_0019__DEBT)
      & r_0048_0019__debt(R_0048_0019__DEBT)
      & has_attrib50(R_0048_0019__DEBT,R_0048_0018__PUBLIC)
      & has_attrib41(R_0048_0016__MOUNTAIN,R_0048_0015__LARGEST)
      & has_gen(R_0048_0016__MOUNTAIN,R_0048_0012__THE_R_0048_0013__WORLD_R_0048_0014___APOS_S)
      & has_arg0(R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP,R_0048_0007__JAPAN)
      & has_nim17(R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP,R_0048_0006__HOW)
      & has_arg0(R_0048_0002___APOS_S,R_0048_0001__IT) ) ).

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (D a;{a})
                  (N clue;{clue})
                  (PP (P-ROLE to;{to})
                      (CP-QUE (IP-SUB (ADVP-NIM (WADV how;{how}))
                                      (NP-SBJ (NPR Japan;{Japan}))
                                      (HVP;_cat_Ve_ has;{have})
                                      (IP-PPL-CAT (VVN;__ ended;{end})
                                                  (RP up;{up})
                                                  (PP-NIM (P-ROLE with;{with})
                                                          (NP (NP-GEN (D the;{the})
                                                                      (N world;{world})
                                                                      (GENM <apos>s))
                                                              (ADJP (ADJS largest;{large}))
                                                              (N mountain;{mountain})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (ADJP (ADJ public;{public}))
                                                                      (N debt;{debt}))))))))))
          (PUNC .))
  (ID 48_a_stuck_japan))