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.

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

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,nim).
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__nim).
arc(r_0048_0016__mountain,r_0048_0012__the_r_0048_0013__world,gen).
arc(r_0048_0016__mountain,r_0048_0015__largest,attrib).
arc(r_0048_0016__mountain,r_0048_0019__debt,r_0048_0017__of).
arc(r_0048_0019__debt,r_0048_0018__public,attrib).

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_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_0012__THE_R_0048_0013__WORLD)
      & 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__nim(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_attrib(R_0048_0019__DEBT,R_0048_0018__PUBLIC)
      & has_attrib(R_0048_0016__MOUNTAIN,R_0048_0015__LARGEST)
      & has_gen(R_0048_0016__MOUNTAIN,R_0048_0012__THE_R_0048_0013__WORLD)
      & has_arg0(R_0048_0008__HAS_R_0048_0009__ENDED_R_0048_0010__UP,R_0048_0007__JAPAN)
      & has_nim(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) ) ).