( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (NP-GEN (PRO my;{my}))
                  (N heart;{heart}))
          (VBP;_Ipr_ aches;{ache[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N thought;{thought})
                      (PP (P-ROLE of;{of})
                          (IP-PPL (NP-SBJ;{JAPAN} (PRO it;{it}))
                                  (VAG;_Tn_ losing;{lose})
                                  (NP-OB1 (D the;{the})
                                          (NS things;{thing})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (VBP;_Cn.a_ make;{make})
                                                  (NP-OB1;{JAPAN} (PRO it;{it}))
                                                  (ADJP-PRD (ADVP (ADV so;{so}))
                                                            (ADJ special;{special}))))))))
          (PUNC .))
  (ID 168_a_stuck_japan))

arc(r_0168_0003__heart,r_0168_0002__my,gen).
arc(r_0168_0004__aches_r_0168_0005__at,r_0168_0003__heart,arg0).
arc(r_0168_0004__aches_r_0168_0005__at,r_0168_0006__the_r_0168_0007__thought,arg1).
arc(r_0168_0006__the_r_0168_0007__thought,r_0168_0010__losing,r_0168_0008__of).
arc(r_0168_0010__losing,r_0168_0009__it,arg0).
arc(r_0168_0010__losing,r_0168_0011__the_r_0168_0012__things,arg1).
arc(r_0168_0014__make,r_0168_0009__it,arg1).
arc(r_0168_0014__make,r_0168_0011__the_r_0168_0012__things,inv_arg0).
arc(r_0168_0014__make,r_0168_0017__special,prd).
arc(r_0168_0017__special,r_0168_0016__so,qual).

fof(formula,axiom,
    ? [R_0168_0002__MY,R_0168_0003__HEART,R_0168_0009__IT,R_0168_0016__SO,R_0168_0017__SPECIAL,R_0168_0014__MAKE,R_0168_0011__THE_R_0168_0012__THINGS,R_0168_0010__LOSING,R_0168_0006__THE_R_0168_0007__THOUGHT,R_0168_0004__ACHES_R_0168_0005__AT] :
      ( r_0168_0002__my(R_0168_0002__MY)
      & r_0168_0009__it(R_0168_0009__IT)
      & r_0168_0016__so(R_0168_0016__SO)
      & r_0168_0004__aches_r_0168_0005__at(R_0168_0004__ACHES_R_0168_0005__AT)
      & has_arg1(R_0168_0004__ACHES_R_0168_0005__AT,R_0168_0006__THE_R_0168_0007__THOUGHT)
      & r_0168_0006__the_r_0168_0007__thought(R_0168_0006__THE_R_0168_0007__THOUGHT)
      & has_r_0168_0008__of(R_0168_0006__THE_R_0168_0007__THOUGHT,R_0168_0010__LOSING)
      & r_0168_0010__losing(R_0168_0010__LOSING)
      & has_arg1(R_0168_0010__LOSING,R_0168_0011__THE_R_0168_0012__THINGS)
      & r_0168_0011__the_r_0168_0012__things(R_0168_0011__THE_R_0168_0012__THINGS)
      & has_inv_arg0(R_0168_0011__THE_R_0168_0012__THINGS,R_0168_0014__MAKE)
      & r_0168_0014__make(R_0168_0014__MAKE)
      & has_prd(R_0168_0014__MAKE,R_0168_0017__SPECIAL)
      & r_0168_0017__special(R_0168_0017__SPECIAL)
      & has_qual(R_0168_0017__SPECIAL,R_0168_0016__SO)
      & has_arg1(R_0168_0014__MAKE,R_0168_0009__IT)
      & has_arg0(R_0168_0010__LOSING,R_0168_0009__IT)
      & has_arg0(R_0168_0004__ACHES_R_0168_0005__AT,R_0168_0003__HEART)
      & r_0168_0003__heart(R_0168_0003__HEART)
      & has_gen(R_0168_0003__HEART,R_0168_0002__MY) ) ).