( (IP-MAT (NP-SBJ;{STEPHEN+RUSSELL} (PRO They;{they}))
          (VBD;_Ipr_ went;{go[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (N bed;{bed})))
          (PP-NIM (P-ROLE at;{at})
                  (NP (NUM six;{six})
                      (ADVP (ADV o<apos>clock;{o<apos>clock}))))
          (NP-NIM (D that;{that})
                  (N night;{night}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (N disgrace;{disgrace})))
          (PUNC .))
  (ID 12_a_stories_11_h38))

arc(r_0012_0002__went_r_0012_0003__to,r_0012_0001__They,arg0).
arc(r_0012_0002__went_r_0012_0003__to,r_0012_0004__bed,arg1).
arc(r_0012_0002__went_r_0012_0003__to,r_0012_0006__six,r_0012_0005__at__nim).
arc(r_0012_0002__went_r_0012_0003__to,r_0012_0008__that_r_0012_0009__night,nim).
arc(r_0012_0002__went_r_0012_0003__to,r_0012_0011__disgrace,r_0012_0010__in__nim).
arc(r_0012_0006__six,r_0012_0007__o_apos_clock,qual).

fof(formula,axiom,
    ? [R_0012_0001__THEY,R_0012_0004__BED,R_0012_0007__O_APOS_CLOCK,R_0012_0006__SIX,R_0012_0008__THAT_R_0012_0009__NIGHT,R_0012_0011__DISGRACE,R_0012_0002__WENT_R_0012_0003__TO] :
      ( r_0012_0001__They(R_0012_0001__THEY)
      & r_0012_0004__bed(R_0012_0004__BED)
      & r_0012_0007__o_apos_clock(R_0012_0007__O_APOS_CLOCK)
      & r_0012_0008__that_r_0012_0009__night(R_0012_0008__THAT_R_0012_0009__NIGHT)
      & r_0012_0011__disgrace(R_0012_0011__DISGRACE)
      & r_0012_0002__went_r_0012_0003__to(R_0012_0002__WENT_R_0012_0003__TO)
      & has_r_0012_0010__in__nim(R_0012_0002__WENT_R_0012_0003__TO,R_0012_0011__DISGRACE)
      & has_nim(R_0012_0002__WENT_R_0012_0003__TO,R_0012_0008__THAT_R_0012_0009__NIGHT)
      & has_r_0012_0005__at__nim(R_0012_0002__WENT_R_0012_0003__TO,R_0012_0006__SIX)
      & r_0012_0006__six(R_0012_0006__SIX)
      & has_qual(R_0012_0006__SIX,R_0012_0007__O_APOS_CLOCK)
      & has_arg1(R_0012_0002__WENT_R_0012_0003__TO,R_0012_0004__BED)
      & has_arg0(R_0012_0002__WENT_R_0012_0003__TO,R_0012_0001__THEY) ) ).