TSPC 56_a_stuck

56_a_stuck_japan
As it droned in to its second hour several of my classmates fell asleep.

( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{LECTURE} (PRO it;{it}))
                           (VBD;__ droned;{drone})
                           (PP-NIM (P-ROLE in_to;{in_to})
                                   (NP (NP-GEN;{LECTURE} (PRO its;{its}))
                                       (ADJP (ADJ second;{second}))
                                       (N hour;{hour})))))
          (NP-SBJ (ADJP (ADJ several;{several}))
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN (PRO my;{my}))
                          (NS classmates;{classmate}))))
          (VBD;_La_ fell;{fall})
          (ADJP-PRD (ADJ asleep;{asleep}))
          (PUNC .))
  (ID 56_a_stuck_japan))

arc(r_0056_0001__As,r_0056_0003__droned,restriction).
arc(r_0056_0001__As,r_0056_0012__fell,scope).
arc(r_0056_0003__droned,r_0056_0002__it,arg0).
arc(r_0056_0003__droned,r_0056_0007__hour,r_0056_0004__in_to__nim).
arc(r_0056_0007__hour,r_0056_0002__it,gen).
arc(r_0056_0007__hour,r_0056_0006__second,attrib).
arc(r_0056_0011__classmates,r_0056_0010__my,gen).
arc(r_0056_0012__fell,r_0056_0013__asleep,prd).
arc(r_0056_0012__fell,z_0056_5009,arg0).
arc(z_0056_5009,r_0056_0008__several,attrib).
arc(z_0056_5009,r_0056_0011__classmates,r_0056_0009__of).

fof(formula,axiom,
    ? [R_0056_0002__IT,R_0056_0006__SECOND,R_0056_0007__HOUR,R_0056_0003__DRONED,R_0056_0013__ASLEEP,R_0056_0008__SEVERAL,R_0056_0010__MY,R_0056_0011__CLASSMATES,Z_0056_5009,R_0056_0012__FELL,R_0056_0001__AS] :
      ( r_0056_0002__it(R_0056_0002__IT)
      & r_0056_0006__second(R_0056_0006__SECOND)
      & r_0056_0008__several(R_0056_0008__SEVERAL)
      & r_0056_0010__my(R_0056_0010__MY)
      & r_0056_0013__asleep(R_0056_0013__ASLEEP)
      & r_0056_0001__As(R_0056_0001__AS)
      & has_conj2(R_0056_0001__AS,R_0056_0012__FELL)
      & r_0056_0012__fell(R_0056_0012__FELL)
      & has_arg0(R_0056_0012__FELL,Z_0056_5009)
      & z_0056_5009(Z_0056_5009)
      & has_r_0056_0009__of(Z_0056_5009,R_0056_0011__CLASSMATES)
      & r_0056_0011__classmates(R_0056_0011__CLASSMATES)
      & has_gen(R_0056_0011__CLASSMATES,R_0056_0010__MY)
      & has_attrib(Z_0056_5009,R_0056_0008__SEVERAL)
      & has_prd(R_0056_0012__FELL,R_0056_0013__ASLEEP)
      & has_conj1(R_0056_0001__AS,R_0056_0003__DRONED)
      & r_0056_0003__droned(R_0056_0003__DRONED)
      & has_r_0056_0004__in_to__nim(R_0056_0003__DRONED,R_0056_0007__HOUR)
      & r_0056_0007__hour(R_0056_0007__HOUR)
      & has_attrib(R_0056_0007__HOUR,R_0056_0006__SECOND)
      & has_gen(R_0056_0007__HOUR,R_0056_0002__IT)
      & has_arg0(R_0056_0003__DRONED,R_0056_0002__IT) ) ).