122_a_wilde_1_1888
and he was in high spirits at the prospect.

%3 r_0122_0001__and_r_0122_0003__was and was r_0122_0002__he he r_0122_0001__and_r_0122_0003__was->r_0122_0002__he [arg0] r_0122_0006__spirits spirits r_0122_0001__and_r_0122_0003__was->r_0122_0006__spirits in [clr] r_0122_0005__high high r_0122_0006__spirits->r_0122_0005__high [attrib] r_0122_0008__the_r_0122_0009__prospect the prospect r_0122_0006__spirits->r_0122_0008__the_r_0122_0009__prospect at
arc(r_0122_0001__and_r_0122_0003__was, r_0122_0002__he, arg0).
arc(r_0122_0001__and_r_0122_0003__was, r_0122_0006__spirits, r_0122_0004__in_clr12).
arc(r_0122_0006__spirits, r_0122_0005__high, attrib13).
arc(r_0122_0006__spirits, r_0122_0008__the_r_0122_0009__prospect, r_0122_0007__at).



%3 r_0122_0001__and_r_0122_0003__was and was r_0122_0002__he he r_0122_0001__and_r_0122_0003__was->r_0122_0002__he [arg0] r_0122_0006__spirits spirits r_0122_0001__and_r_0122_0003__was->r_0122_0006__spirits in [clr] r_0122_0005__high high r_0122_0006__spirits->r_0122_0005__high [attrib] r_0122_0008__the_r_0122_0009__prospect the prospect r_0122_0006__spirits->r_0122_0008__the_r_0122_0009__prospect at
fof(formula,axiom,
    ? [R_122_1_AND_WAS,R_122_2_HE,R_122_6_SPIRITS,R_122_5_HIGH,R_122_8_THE_PROSPECT] :
      ( he(R_122_2_HE)
      & high(R_122_5_HIGH)
      & the_prospect(R_122_8_THE_PROSPECT)
      & and_was(R_122_1_AND_WAS,R_122_2_HE)
      & in_clr12(R_122_1_AND_WAS,R_122_6_SPIRITS)
      & spirits(R_122_6_SPIRITS)
      & attrib13(R_122_6_SPIRITS,R_122_5_HIGH)
      & at(R_122_6_SPIRITS,R_122_8_THE_PROSPECT) ) ).



n122_a_wilde_1_1888 n122_a_wilde_1_1888_3 and n122_a_wilde_1_1888_6 he n122_a_wilde_1_1888_8 was n122_a_wilde_1_1888_11 in n122_a_wilde_1_1888_15 high n122_a_wilde_1_1888_17 spirits n122_a_wilde_1_1888_20 at n122_a_wilde_1_1888_23 the n122_a_wilde_1_1888_25 prospect n122_a_wilde_1_1888_27 . n122_a_wilde_1_1888_1 IP-MAT n122_a_wilde_1_1888_2 CONJ;_cl_ n122_a_wilde_1_1888_1->n122_a_wilde_1_1888_2 n122_a_wilde_1_1888_4 NP-SBJ n122_a_wilde_1_1888_1->n122_a_wilde_1_1888_4 n122_a_wilde_1_1888_7 BED;_Ipr_ n122_a_wilde_1_1888_1->n122_a_wilde_1_1888_7 n122_a_wilde_1_1888_9 PP-CLR n122_a_wilde_1_1888_1->n122_a_wilde_1_1888_9 n122_a_wilde_1_1888_26 PUNC n122_a_wilde_1_1888_1->n122_a_wilde_1_1888_26 n122_a_wilde_1_1888_2->n122_a_wilde_1_1888_3 n122_a_wilde_1_1888_5 PRO n122_a_wilde_1_1888_4->n122_a_wilde_1_1888_5 n122_a_wilde_1_1888_5->n122_a_wilde_1_1888_6 n122_a_wilde_1_1888_7->n122_a_wilde_1_1888_8 n122_a_wilde_1_1888_10 P-ROLE n122_a_wilde_1_1888_9->n122_a_wilde_1_1888_10 n122_a_wilde_1_1888_12 NP n122_a_wilde_1_1888_9->n122_a_wilde_1_1888_12 n122_a_wilde_1_1888_10->n122_a_wilde_1_1888_11 n122_a_wilde_1_1888_13 ADJP n122_a_wilde_1_1888_12->n122_a_wilde_1_1888_13 n122_a_wilde_1_1888_16 NS n122_a_wilde_1_1888_12->n122_a_wilde_1_1888_16 n122_a_wilde_1_1888_18 PP n122_a_wilde_1_1888_12->n122_a_wilde_1_1888_18 n122_a_wilde_1_1888_14 ADJ n122_a_wilde_1_1888_13->n122_a_wilde_1_1888_14 n122_a_wilde_1_1888_14->n122_a_wilde_1_1888_15 n122_a_wilde_1_1888_16->n122_a_wilde_1_1888_17 n122_a_wilde_1_1888_19 P-ROLE n122_a_wilde_1_1888_18->n122_a_wilde_1_1888_19 n122_a_wilde_1_1888_21 NP n122_a_wilde_1_1888_18->n122_a_wilde_1_1888_21 n122_a_wilde_1_1888_19->n122_a_wilde_1_1888_20 n122_a_wilde_1_1888_22 D n122_a_wilde_1_1888_21->n122_a_wilde_1_1888_22 n122_a_wilde_1_1888_24 N n122_a_wilde_1_1888_21->n122_a_wilde_1_1888_24 n122_a_wilde_1_1888_22->n122_a_wilde_1_1888_23 n122_a_wilde_1_1888_24->n122_a_wilde_1_1888_25 n122_a_wilde_1_1888_26->n122_a_wilde_1_1888_27
( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (BED;_Ipr_ was;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (ADJP (ADJ high;{high}))
                      (NS spirits;{spirit})
                      (PP (P-ROLE at;{at})
                          (NP (D the;{the})
                              (N prospect;{prospect})))))
          (PUNC .))
  (ID 122_a_wilde_1_1888))