TSPC 116_a_stuck

116_a_stuck_japan
“Look there's something you need to understand about how Japan works,” an eminent academic told me.

( (IP-MAT (PURQ <ldquo>)
          (utterance-OB1 (IP-MAT (REACT Look)
                                 (EX there;{there})
                                 (BEP;__ <apos>s;{be})
                                 (NP-ESBJ (N something;{something})
                                          (IP-REL (NP-SBJ (PRO you;{you}))
                                                  (VBP;__ need;{need})
                                                  (IP-INF-OB1 (NP-OB1 *T*)
                                                              (TO to;{to})
                                                              (VB;_Tn_ understand;{understand})
                                                              (PP-NIM (P-ROLE about;{about})
                                                                      (CP-QUE (IP-SUB (ADVP-NIM (WADV how;{how}))
                                                                                      (NP-SBJ (NPR Japan;{Japan}))
                                                                                      (VBP;__ works;{work})))))))))
          (PUNC ,)
          (PULQ <rdquo>)
          (NP-SBJ (D an;{a})
                  (ADJP (ADJ eminent;{eminent}))
                  (N academic;{academic}))
          (VBD;__ told;{tell})
          (NP-OB2 (PRO me;{I}))
          (PUNC .))
  (ID 116_a_stuck_japan))

arc(r_0116_0004___apos_s,r_0116_0005__something,arg0).
arc(r_0116_0007__need,r_0116_0006__you,arg0).
arc(r_0116_0007__need,r_0116_0009__understand,arg1).
arc(r_0116_0009__understand,r_0116_0005__something,inv_arg1).
arc(r_0116_0009__understand,r_0116_0006__you,arg0).
arc(r_0116_0009__understand,r_0116_0013__works,r_0116_0010__about__nim).
arc(r_0116_0013__works,r_0116_0011__how,nim).
arc(r_0116_0013__works,r_0116_0012__Japan,arg0).
arc(r_0116_0016__an_r_0116_0018__academic,r_0116_0017__eminent,attrib).
arc(r_0116_0019__told,r_0116_0016__an_r_0116_0018__academic,arg0).
arc(r_0116_0019__told,r_0116_0020__me,arg2).
arc(r_0116_0019__told,z_0116_5002__utterance,arg1).
arc(z_0116_5002__utterance,r_0116_0004___apos_s,part1).

fof(formula,axiom,
    ? [R_0116_0006__YOU,R_0116_0011__HOW,R_0116_0012__JAPAN,R_0116_0013__WORKS,R_0116_0009__UNDERSTAND,R_0116_0007__NEED,R_0116_0017__EMINENT,R_0116_0016__AN_R_0116_0018__ACADEMIC,R_0116_0020__ME,R_0116_0005__SOMETHING,R_0116_0004___APOS_S,Z_0116_5002__UTTERANCE,R_0116_0019__TOLD] :
      ( r_0116_0006__you(R_0116_0006__YOU)
      & r_0116_0011__how(R_0116_0011__HOW)
      & r_0116_0012__Japan(R_0116_0012__JAPAN)
      & r_0116_0017__eminent(R_0116_0017__EMINENT)
      & r_0116_0020__me(R_0116_0020__ME)
      & r_0116_0019__told(R_0116_0019__TOLD)
      & has_arg1(R_0116_0019__TOLD,Z_0116_5002__UTTERANCE)
      & z_0116_5002__utterance(Z_0116_5002__UTTERANCE)
      & has_part1(Z_0116_5002__UTTERANCE,R_0116_0004___APOS_S)
      & r_0116_0004___apos_s(R_0116_0004___APOS_S)
      & has_arg0(R_0116_0004___APOS_S,R_0116_0005__SOMETHING)
      & r_0116_0005__something(R_0116_0005__SOMETHING)
      & has_inv_arg1(R_0116_0005__SOMETHING,R_0116_0009__UNDERSTAND)
      & r_0116_0009__understand(R_0116_0009__UNDERSTAND)
      & has_r_0116_0010__about__nim(R_0116_0009__UNDERSTAND,R_0116_0013__WORKS)
      & r_0116_0013__works(R_0116_0013__WORKS)
      & has_arg0(R_0116_0013__WORKS,R_0116_0012__JAPAN)
      & has_nim(R_0116_0013__WORKS,R_0116_0011__HOW)
      & has_arg0(R_0116_0009__UNDERSTAND,R_0116_0006__YOU)
      & has_arg2(R_0116_0019__TOLD,R_0116_0020__ME)
      & has_arg0(R_0116_0019__TOLD,R_0116_0016__AN_R_0116_0018__ACADEMIC)
      & r_0116_0016__an_r_0116_0018__academic(R_0116_0016__AN_R_0116_0018__ACADEMIC)
      & has_attrib(R_0116_0016__AN_R_0116_0018__ACADEMIC,R_0116_0017__EMINENT)
      & r_0116_0007__need(R_0116_0007__NEED)
      & has_arg1(R_0116_0007__NEED,R_0116_0009__UNDERSTAND)
      & has_arg0(R_0116_0007__NEED,R_0116_0006__YOU) ) ).