TSPC 52_a_stuck

52_a_stuck_japan
Inside I found a group of disconsolate - looking souls waiting for our punishment to begin.

( (IP-MAT (ADVP-NIM (ADV Inside;{inside}))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ found;{find})
          (NP-OB1 (D a;{a})
                  (N group;{group})
                  (PP (P-ROLE of;{of})
                      (NP (IP-PPL (ADJP-PRD (ADJ disconsolate;{disconsolate}))
                                  (PUNC <hyphen>)
                                  (VAG;_La_ looking;{look}))
                          (NS souls;{soul})
                          (IP-PPL (VAG;_Ipr_ waiting;{wait[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP (NP-GEN (PRO our;{we}))
                                              (N punishment;{punishment})
                                              (IP-INF-REL (NP-SBJ *T*)
                                                          (TO to;{to})
                                                          (VB;_I_ begin;{begin}))))))))
          (PUNC .))
  (ID 52_a_stuck_japan))

arc(r_0052_0003__found,r_0052_0001__Inside,nim).
arc(r_0052_0003__found,r_0052_0002__I,arg0).
arc(r_0052_0003__found,r_0052_0004__a_r_0052_0005__group,arg1).
arc(r_0052_0004__a_r_0052_0005__group,r_0052_0010__souls,r_0052_0006__of).
arc(r_0052_0009__looking,r_0052_0007__disconsolate,prd).
arc(r_0052_0009__looking,r_0052_0010__souls,inv_arg0).
arc(r_0052_0011__waiting_r_0052_0012__for,r_0052_0010__souls,inv_arg0).
arc(r_0052_0011__waiting_r_0052_0012__for,r_0052_0014__punishment,arg1).
arc(r_0052_0014__punishment,r_0052_0013__our,gen).
arc(r_0052_0016__begin,r_0052_0014__punishment,inv_arg0).

fof(formula,axiom,
    ? [R_0052_0001__INSIDE,R_0052_0002__I,R_0052_0007__DISCONSOLATE,R_0052_0009__LOOKING,R_0052_0013__OUR,R_0052_0016__BEGIN,R_0052_0014__PUNISHMENT,R_0052_0011__WAITING_R_0052_0012__FOR,R_0052_0010__SOULS,R_0052_0004__A_R_0052_0005__GROUP,R_0052_0003__FOUND] :
      ( r_0052_0001__Inside(R_0052_0001__INSIDE)
      & r_0052_0002__I(R_0052_0002__I)
      & r_0052_0007__disconsolate(R_0052_0007__DISCONSOLATE)
      & r_0052_0013__our(R_0052_0013__OUR)
      & r_0052_0016__begin(R_0052_0016__BEGIN)
      & r_0052_0003__found(R_0052_0003__FOUND)
      & has_arg1(R_0052_0003__FOUND,R_0052_0004__A_R_0052_0005__GROUP)
      & r_0052_0004__a_r_0052_0005__group(R_0052_0004__A_R_0052_0005__GROUP)
      & has_r_0052_0006__of(R_0052_0004__A_R_0052_0005__GROUP,R_0052_0010__SOULS)
      & r_0052_0010__souls(R_0052_0010__SOULS)
      & has_inv_arg0(R_0052_0010__SOULS,R_0052_0011__WAITING_R_0052_0012__FOR)
      & r_0052_0011__waiting_r_0052_0012__for(R_0052_0011__WAITING_R_0052_0012__FOR)
      & has_arg1(R_0052_0011__WAITING_R_0052_0012__FOR,R_0052_0014__PUNISHMENT)
      & r_0052_0014__punishment(R_0052_0014__PUNISHMENT)
      & has_inv_arg0(R_0052_0014__PUNISHMENT,R_0052_0016__BEGIN)
      & has_gen(R_0052_0014__PUNISHMENT,R_0052_0013__OUR)
      & has_inv_arg0(R_0052_0010__SOULS,R_0052_0009__LOOKING)
      & r_0052_0009__looking(R_0052_0009__LOOKING)
      & has_prd(R_0052_0009__LOOKING,R_0052_0007__DISCONSOLATE)
      & has_arg0(R_0052_0003__FOUND,R_0052_0002__I)
      & has_nim(R_0052_0003__FOUND,R_0052_0001__INSIDE) ) ).