12_a_stories_11_h38
They went to bed at six o'clock that night in disgrace.

%3 r_0012_0002__went went r_0012_0001__They They r_0012_0002__went->r_0012_0001__They [arg0] r_0012_0004__bed bed r_0012_0002__went->r_0012_0004__bed to [clr] r_0012_0006__six six r_0012_0002__went->r_0012_0006__six at [nim] r_0012_0008__that_r_0012_0009__night that night r_0012_0002__went->r_0012_0008__that_r_0012_0009__night [nim] r_0012_0011__disgrace disgrace r_0012_0002__went->r_0012_0011__disgrace in [nim] r_0012_0007__o_apos_clock o'clock r_0012_0006__six->r_0012_0007__o_apos_clock [qual]
arc(r_0012_0002__went, r_0012_0001__They, arg0).
arc(r_0012_0002__went, r_0012_0004__bed, r_0012_0003__to_clr10).
arc(r_0012_0002__went, r_0012_0006__six, r_0012_0005__at_nim16).
arc(r_0012_0002__went, r_0012_0008__that_r_0012_0009__night, nim22).
arc(r_0012_0002__went, r_0012_0011__disgrace, r_0012_0010__in_nim30).
arc(r_0012_0006__six, r_0012_0007__o_apos_clock, qual19).



%3 r_0012_0002__went went r_0012_0001__They They r_0012_0002__went->r_0012_0001__They [arg0] r_0012_0004__bed bed r_0012_0002__went->r_0012_0004__bed to [clr] r_0012_0006__six six r_0012_0002__went->r_0012_0006__six at [nim] r_0012_0008__that_r_0012_0009__night that night r_0012_0002__went->r_0012_0008__that_r_0012_0009__night [nim] r_0012_0011__disgrace disgrace r_0012_0002__went->r_0012_0011__disgrace in [nim] r_0012_0007__o_apos_clock o'clock r_0012_0006__six->r_0012_0007__o_apos_clock [qual]
fof(formula,axiom,
    ? [R_12_2_WENT,R_12_1_THEY,R_12_8_THAT_NIGHT,R_12_4_BED,R_12_6_SIX,R_12_7_O_APOS_CLOCK,R_12_11_DISGRACE] :
      ( they(R_12_1_THEY)
      & that_night(R_12_8_THAT_NIGHT)
      & bed(R_12_4_BED)
      & o_apos_clock(R_12_7_O_APOS_CLOCK)
      & disgrace(R_12_11_DISGRACE)
      & went(R_12_2_WENT,R_12_1_THEY)
      & nim22(R_12_2_WENT,R_12_8_THAT_NIGHT)
      & to_clr10(R_12_2_WENT,R_12_4_BED)
      & at_nim16(R_12_2_WENT,R_12_6_SIX)
      & six(R_12_6_SIX)
      & qual19(R_12_6_SIX,R_12_7_O_APOS_CLOCK)
      & in_nim30(R_12_2_WENT,R_12_11_DISGRACE) ) ).



n12_a_stories_11_h38 n12_a_stories_11_h38_4 They n12_a_stories_11_h38_6 went n12_a_stories_11_h38_9 to n12_a_stories_11_h38_12 bed n12_a_stories_11_h38_15 at n12_a_stories_11_h38_18 six n12_a_stories_11_h38_21 o'clock n12_a_stories_11_h38_24 that n12_a_stories_11_h38_26 night n12_a_stories_11_h38_29 in n12_a_stories_11_h38_32 disgrace n12_a_stories_11_h38_34 . n12_a_stories_11_h38_1 IP-MAT n12_a_stories_11_h38_2 NP-SBJ n12_a_stories_11_h38_1->n12_a_stories_11_h38_2 n12_a_stories_11_h38_5 VBD;_Ipr_ n12_a_stories_11_h38_1->n12_a_stories_11_h38_5 n12_a_stories_11_h38_7 PP-CLR n12_a_stories_11_h38_1->n12_a_stories_11_h38_7 n12_a_stories_11_h38_13 PP-NIM n12_a_stories_11_h38_1->n12_a_stories_11_h38_13 n12_a_stories_11_h38_22 NP-NIM n12_a_stories_11_h38_1->n12_a_stories_11_h38_22 n12_a_stories_11_h38_27 PP-NIM n12_a_stories_11_h38_1->n12_a_stories_11_h38_27 n12_a_stories_11_h38_33 PUNC n12_a_stories_11_h38_1->n12_a_stories_11_h38_33 n12_a_stories_11_h38_3 PRO n12_a_stories_11_h38_2->n12_a_stories_11_h38_3 n12_a_stories_11_h38_3->n12_a_stories_11_h38_4 n12_a_stories_11_h38_5->n12_a_stories_11_h38_6 n12_a_stories_11_h38_8 P-ROLE n12_a_stories_11_h38_7->n12_a_stories_11_h38_8 n12_a_stories_11_h38_10 NP n12_a_stories_11_h38_7->n12_a_stories_11_h38_10 n12_a_stories_11_h38_8->n12_a_stories_11_h38_9 n12_a_stories_11_h38_11 N n12_a_stories_11_h38_10->n12_a_stories_11_h38_11 n12_a_stories_11_h38_11->n12_a_stories_11_h38_12 n12_a_stories_11_h38_14 P-ROLE n12_a_stories_11_h38_13->n12_a_stories_11_h38_14 n12_a_stories_11_h38_16 NP n12_a_stories_11_h38_13->n12_a_stories_11_h38_16 n12_a_stories_11_h38_14->n12_a_stories_11_h38_15 n12_a_stories_11_h38_17 NUM n12_a_stories_11_h38_16->n12_a_stories_11_h38_17 n12_a_stories_11_h38_19 ADVP n12_a_stories_11_h38_16->n12_a_stories_11_h38_19 n12_a_stories_11_h38_17->n12_a_stories_11_h38_18 n12_a_stories_11_h38_20 ADV n12_a_stories_11_h38_19->n12_a_stories_11_h38_20 n12_a_stories_11_h38_20->n12_a_stories_11_h38_21 n12_a_stories_11_h38_23 D n12_a_stories_11_h38_22->n12_a_stories_11_h38_23 n12_a_stories_11_h38_25 N n12_a_stories_11_h38_22->n12_a_stories_11_h38_25 n12_a_stories_11_h38_23->n12_a_stories_11_h38_24 n12_a_stories_11_h38_25->n12_a_stories_11_h38_26 n12_a_stories_11_h38_28 P-ROLE n12_a_stories_11_h38_27->n12_a_stories_11_h38_28 n12_a_stories_11_h38_30 NP n12_a_stories_11_h38_27->n12_a_stories_11_h38_30 n12_a_stories_11_h38_28->n12_a_stories_11_h38_29 n12_a_stories_11_h38_31 N n12_a_stories_11_h38_30->n12_a_stories_11_h38_31 n12_a_stories_11_h38_31->n12_a_stories_11_h38_32 n12_a_stories_11_h38_33->n12_a_stories_11_h38_34
( (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))