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

%3 r_0058_0002__sat sat r_0058_0001__I I r_0058_0002__sat->r_0058_0001__I [arg0] r_0058_0004__and and r_0058_0002__sat->r_0058_0004__and [prd] r_0058_0003__bored bored r_0058_0004__and->r_0058_0003__bored [conj1] r_0058_0005__resentful resentful r_0058_0004__and->r_0058_0005__resentful [conj2] r_0058_0007__the_r_0058_0008__clock the clock r_0058_0010__the_r_0058_0011__wall the wall r_0058_0007__the_r_0058_0008__clock->r_0058_0010__the_r_0058_0011__wall on r_0058_0012__mocking mocking r_0058_0012__mocking->r_0058_0007__the_r_0058_0008__clock [arg0] r_0058_0013__me me r_0058_0012__mocking->r_0058_0013__me [arg1] z_000_58_a_stuck_japan_20 z_000_58_a_stuck_japan_20->r_0058_0002__sat [scope] z_000_58_a_stuck_japan_20->r_0058_0012__mocking [restriction]
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_0007__the_r_0058_0008__clock, arg0).
arc(r_0058_0012__mocking, r_0058_0013__me, arg1).
arc(z_000_58_a_stuck_japan_20, r_0058_0002__sat, scope).
arc(z_000_58_a_stuck_japan_20, r_0058_0012__mocking, restriction).



%3 z_000_58_a_stuck_japan_20 r_0058_0012__mocking mocking z_000_58_a_stuck_japan_20->r_0058_0012__mocking [conj1] r_0058_0002__sat sat z_000_58_a_stuck_japan_20->r_0058_0002__sat [conj2] r_0058_0013__me me r_0058_0012__mocking->r_0058_0013__me [arg1] r_0058_0007__the_r_0058_0008__clock the clock r_0058_0012__mocking->r_0058_0007__the_r_0058_0008__clock [arg0] r_0058_0004__and and r_0058_0002__sat->r_0058_0004__and [prd] r_0058_0001__I I r_0058_0002__sat->r_0058_0001__I [arg0] r_0058_0010__the_r_0058_0011__wall the wall r_0058_0007__the_r_0058_0008__clock->r_0058_0010__the_r_0058_0011__wall on r_0058_0005__resentful resentful r_0058_0004__and->r_0058_0005__resentful [conj2] r_0058_0003__bored bored r_0058_0004__and->r_0058_0003__bored [conj1]
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_0013__ME,R_0058_0012__MOCKING,Z_000_58_A_STUCK_JAPAN_20] :
      ( 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)
      & r_0058_0013__me(R_0058_0013__ME)
      & z_000_58_a_stuck_japan_20(Z_000_58_A_STUCK_JAPAN_20)
      & has_conj1(Z_000_58_A_STUCK_JAPAN_20,R_0058_0012__MOCKING)
      & r_0058_0012__mocking(R_0058_0012__MOCKING)
      & has_arg1(R_0058_0012__MOCKING,R_0058_0013__ME)
      & 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_conj2(Z_000_58_A_STUCK_JAPAN_20,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) ) ).



n58_a_stuck_japan n58_a_stuck_japan__1_1_1_1 I n58_a_stuck_japan__1_2_1 sat n58_a_stuck_japan__1_3_1_1_1_1 bored n58_a_stuck_japan__1_3_1_2_1_1 and n58_a_stuck_japan__1_3_1_2_2_1_1 resentful n58_a_stuck_japan__1_4_1 , n58_a_stuck_japan__1_5_1_1_1_1 the n58_a_stuck_japan__1_5_1_1_2_1 clock n58_a_stuck_japan__1_5_1_1_3_1_1 on n58_a_stuck_japan__1_5_1_1_3_2_1_1 the n58_a_stuck_japan__1_5_1_1_3_2_2_1 wall n58_a_stuck_japan__1_5_1_2_1 mocking n58_a_stuck_japan__1_5_1_3_1_1 me n58_a_stuck_japan__1_6_1 . n58_a_stuck_japan__1 IP-MAT n58_a_stuck_japan__1_1 NP-SBJ n58_a_stuck_japan__1->n58_a_stuck_japan__1_1 n58_a_stuck_japan__1_2 VBD;_I_ n58_a_stuck_japan__1->n58_a_stuck_japan__1_2 n58_a_stuck_japan__1_3 ADJP-PRD n58_a_stuck_japan__1->n58_a_stuck_japan__1_3 n58_a_stuck_japan__1_4 PUNC n58_a_stuck_japan__1->n58_a_stuck_japan__1_4 n58_a_stuck_japan__1_5 PP-SCON n58_a_stuck_japan__1->n58_a_stuck_japan__1_5 n58_a_stuck_japan__1_6 PUNC n58_a_stuck_japan__1->n58_a_stuck_japan__1_6 n58_a_stuck_japan__1_1_1 PRO n58_a_stuck_japan__1_1->n58_a_stuck_japan__1_1_1 n58_a_stuck_japan__1_1_1->n58_a_stuck_japan__1_1_1_1 n58_a_stuck_japan__1_2->n58_a_stuck_japan__1_2_1 n58_a_stuck_japan__1_3_1 AJLYR n58_a_stuck_japan__1_3->n58_a_stuck_japan__1_3_1 n58_a_stuck_japan__1_3_1_1 AJLYR n58_a_stuck_japan__1_3_1->n58_a_stuck_japan__1_3_1_1 n58_a_stuck_japan__1_3_1_2 CONJP n58_a_stuck_japan__1_3_1->n58_a_stuck_japan__1_3_1_2 n58_a_stuck_japan__1_3_1_1_1 ADJ n58_a_stuck_japan__1_3_1_1->n58_a_stuck_japan__1_3_1_1_1 n58_a_stuck_japan__1_3_1_1_1->n58_a_stuck_japan__1_3_1_1_1_1 n58_a_stuck_japan__1_3_1_2_1 CONJ n58_a_stuck_japan__1_3_1_2->n58_a_stuck_japan__1_3_1_2_1 n58_a_stuck_japan__1_3_1_2_2 AJLYR n58_a_stuck_japan__1_3_1_2->n58_a_stuck_japan__1_3_1_2_2 n58_a_stuck_japan__1_3_1_2_1->n58_a_stuck_japan__1_3_1_2_1_1 n58_a_stuck_japan__1_3_1_2_2_1 ADJ n58_a_stuck_japan__1_3_1_2_2->n58_a_stuck_japan__1_3_1_2_2_1 n58_a_stuck_japan__1_3_1_2_2_1->n58_a_stuck_japan__1_3_1_2_2_1_1 n58_a_stuck_japan__1_4->n58_a_stuck_japan__1_4_1 n58_a_stuck_japan__1_5_1 IP-PPL n58_a_stuck_japan__1_5->n58_a_stuck_japan__1_5_1 n58_a_stuck_japan__1_5_1_1 NP-SBJ n58_a_stuck_japan__1_5_1->n58_a_stuck_japan__1_5_1_1 n58_a_stuck_japan__1_5_1_2 VAG;_Tn_ n58_a_stuck_japan__1_5_1->n58_a_stuck_japan__1_5_1_2 n58_a_stuck_japan__1_5_1_3 NP-OB1 n58_a_stuck_japan__1_5_1->n58_a_stuck_japan__1_5_1_3 n58_a_stuck_japan__1_5_1_1_1 D n58_a_stuck_japan__1_5_1_1->n58_a_stuck_japan__1_5_1_1_1 n58_a_stuck_japan__1_5_1_1_2 N n58_a_stuck_japan__1_5_1_1->n58_a_stuck_japan__1_5_1_1_2 n58_a_stuck_japan__1_5_1_1_3 PP n58_a_stuck_japan__1_5_1_1->n58_a_stuck_japan__1_5_1_1_3 n58_a_stuck_japan__1_5_1_1_1->n58_a_stuck_japan__1_5_1_1_1_1 n58_a_stuck_japan__1_5_1_1_2->n58_a_stuck_japan__1_5_1_1_2_1 n58_a_stuck_japan__1_5_1_1_3_1 P-ROLE n58_a_stuck_japan__1_5_1_1_3->n58_a_stuck_japan__1_5_1_1_3_1 n58_a_stuck_japan__1_5_1_1_3_2 NP n58_a_stuck_japan__1_5_1_1_3->n58_a_stuck_japan__1_5_1_1_3_2 n58_a_stuck_japan__1_5_1_1_3_1->n58_a_stuck_japan__1_5_1_1_3_1_1 n58_a_stuck_japan__1_5_1_1_3_2_1 D n58_a_stuck_japan__1_5_1_1_3_2->n58_a_stuck_japan__1_5_1_1_3_2_1 n58_a_stuck_japan__1_5_1_1_3_2_2 N n58_a_stuck_japan__1_5_1_1_3_2->n58_a_stuck_japan__1_5_1_1_3_2_2 n58_a_stuck_japan__1_5_1_1_3_2_1->n58_a_stuck_japan__1_5_1_1_3_2_1_1 n58_a_stuck_japan__1_5_1_1_3_2_2->n58_a_stuck_japan__1_5_1_1_3_2_2_1 n58_a_stuck_japan__1_5_1_2->n58_a_stuck_japan__1_5_1_2_1 n58_a_stuck_japan__1_5_1_3_1 PRO n58_a_stuck_japan__1_5_1_3->n58_a_stuck_japan__1_5_1_3_1 n58_a_stuck_japan__1_5_1_3_1->n58_a_stuck_japan__1_5_1_3_1_1 n58_a_stuck_japan__1_6->n58_a_stuck_japan__1_6_1
( (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))