TSPC 93_a_stuck

93_a_stuck_japan
Then one cleared his throat and spoke, with a worried look on his face:

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (NUM one;{one}))
          (ILYR (ILYR (VBD;_Tn_ cleared;{clear})
                      (NP-OB1 (NP-GEN (PRO his;{he}))
                              (N throat;{throat})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ spoke;{speak})
                             (PUNC ,)
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (D a;{a})
                                         (ADJP (ADJ worried;{worried}))
                                         (N look;{look})
                                         (PP (P-ROLE on;{on})
                                             (NP (NP-GEN (PRO his;{he}))
                                                 (N face;{face}))))))))
          (PUNC :))
  (ID 93_a_stuck_japan))

arc(r_0093_0003__cleared,r_0093_0001__Then,nim).
arc(r_0093_0003__cleared,r_0093_0002__one,arg0).
arc(r_0093_0003__cleared,r_0093_0005__throat,arg1).
arc(r_0093_0005__throat,r_0093_0004__his,gen).
arc(r_0093_0006__and,r_0093_0003__cleared,conj1).
arc(r_0093_0006__and,r_0093_0007__spoke,conj2).
arc(r_0093_0007__spoke,r_0093_0001__Then,nim).
arc(r_0093_0007__spoke,r_0093_0002__one,arg0).
arc(r_0093_0007__spoke,r_0093_0010__a_r_0093_0012__look,r_0093_0009__with__nim).
arc(r_0093_0010__a_r_0093_0012__look,r_0093_0011__worried,attrib).
arc(r_0093_0010__a_r_0093_0012__look,r_0093_0015__face,r_0093_0013__on).
arc(r_0093_0015__face,r_0093_0014__his,gen).

fof(formula,axiom,
    ? [R_0093_0001__THEN,R_0093_0002__ONE,R_0093_0004__HIS,R_0093_0005__THROAT,R_0093_0003__CLEARED,R_0093_0011__WORRIED,R_0093_0014__HIS,R_0093_0015__FACE,R_0093_0010__A_R_0093_0012__LOOK,R_0093_0007__SPOKE,R_0093_0006__AND] :
      ( r_0093_0001__Then(R_0093_0001__THEN)
      & r_0093_0002__one(R_0093_0002__ONE)
      & r_0093_0004__his(R_0093_0004__HIS)
      & r_0093_0011__worried(R_0093_0011__WORRIED)
      & r_0093_0014__his(R_0093_0014__HIS)
      & r_0093_0006__and(R_0093_0006__AND)
      & has_conj2(R_0093_0006__AND,R_0093_0007__SPOKE)
      & r_0093_0007__spoke(R_0093_0007__SPOKE)
      & has_r_0093_0009__with__nim(R_0093_0007__SPOKE,R_0093_0010__A_R_0093_0012__LOOK)
      & r_0093_0010__a_r_0093_0012__look(R_0093_0010__A_R_0093_0012__LOOK)
      & has_r_0093_0013__on(R_0093_0010__A_R_0093_0012__LOOK,R_0093_0015__FACE)
      & r_0093_0015__face(R_0093_0015__FACE)
      & has_gen(R_0093_0015__FACE,R_0093_0014__HIS)
      & has_attrib(R_0093_0010__A_R_0093_0012__LOOK,R_0093_0011__WORRIED)
      & has_arg0(R_0093_0007__SPOKE,R_0093_0002__ONE)
      & has_nim(R_0093_0007__SPOKE,R_0093_0001__THEN)
      & has_conj1(R_0093_0006__AND,R_0093_0003__CLEARED)
      & r_0093_0003__cleared(R_0093_0003__CLEARED)
      & has_arg1(R_0093_0003__CLEARED,R_0093_0005__THROAT)
      & r_0093_0005__throat(R_0093_0005__THROAT)
      & has_gen(R_0093_0005__THROAT,R_0093_0004__HIS)
      & has_arg0(R_0093_0003__CLEARED,R_0093_0002__ONE)
      & has_nim(R_0093_0003__CLEARED,R_0093_0001__THEN) ) ).