TSPC 58_a_stuck

58_a_stuck_japan
I sat bored and resentful, the clock on the wall mocking me.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_I_ sat;{sit})
          (ADJP-PRD (AJLYR (AJLYR (ADJ bored;{bored}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ resentful;{resentful})))))
          (PUNC ,)
          (PP-SCON (IP-PPL (NP-SBJ (D the;{the})
                                   (N clock;{clock})
                                   (PP (P-ROLE on;{on})
                                       (NP (D the;{the})
                                           (N wall;{wall}))))
                           (VAG;_Tn_ mocking;{mock})
                           (NP-OB1 (PRO me;{I}))))
          (PUNC .))
  (ID 58_a_stuck_japan))

arc(r_0058_0002__sat,r_0058_0001__I,arg0).
arc(r_0058_0002__sat,r_0058_0004__and,prd).
arc(r_0058_0004__and,r_0058_0003__bored,conj1).
arc(r_0058_0004__and,r_0058_0005__resentful,conj2).
arc(r_0058_0007__the_r_0058_0008__clock,r_0058_0010__the_r_0058_0011__wall,r_0058_0009__on).
arc(r_0058_0012__mocking,r_0058_0001__I,arg1).
arc(r_0058_0012__mocking,r_0058_0007__the_r_0058_0008__clock,arg0).
arc(z_0058_5001,r_0058_0002__sat,scope).
arc(z_0058_5001,r_0058_0012__mocking,restriction).

fof(formula,axiom,
    ? [R_0058_0001__I,R_0058_0003__BORED,R_0058_0005__RESENTFUL,R_0058_0004__AND,R_0058_0002__SAT,R_0058_0010__THE_R_0058_0011__WALL,R_0058_0007__THE_R_0058_0008__CLOCK,R_0058_0012__MOCKING,Z_0058_5001] :
      ( r_0058_0001__I(R_0058_0001__I)
      & r_0058_0003__bored(R_0058_0003__BORED)
      & r_0058_0005__resentful(R_0058_0005__RESENTFUL)
      & r_0058_0010__the_r_0058_0011__wall(R_0058_0010__THE_R_0058_0011__WALL)
      & z_0058_5001(Z_0058_5001)
      & has_conj1(Z_0058_5001,R_0058_0012__MOCKING)
      & r_0058_0012__mocking(R_0058_0012__MOCKING)
      & has_arg0(R_0058_0012__MOCKING,R_0058_0007__THE_R_0058_0008__CLOCK)
      & r_0058_0007__the_r_0058_0008__clock(R_0058_0007__THE_R_0058_0008__CLOCK)
      & has_r_0058_0009__on(R_0058_0007__THE_R_0058_0008__CLOCK,R_0058_0010__THE_R_0058_0011__WALL)
      & has_arg1(R_0058_0012__MOCKING,R_0058_0001__I)
      & has_conj2(Z_0058_5001,R_0058_0002__SAT)
      & r_0058_0002__sat(R_0058_0002__SAT)
      & has_prd(R_0058_0002__SAT,R_0058_0004__AND)
      & r_0058_0004__and(R_0058_0004__AND)
      & has_conj2(R_0058_0004__AND,R_0058_0005__RESENTFUL)
      & has_conj1(R_0058_0004__AND,R_0058_0003__BORED)
      & has_arg0(R_0058_0002__SAT,R_0058_0001__I) ) ).