arc(utterance_42_a_wilde_2_1888_6, r_0042_0003__believe, part1).
arc(r_0042_0003__believe, r_0042_0002__I, arg0).
arc(r_0042_0003__believe, r_0042_0006__has, arg1).
arc(r_0042_0006__has, r_0042_0007__come, scope).
arc(r_0042_0007__come, r_0042_0004__the_r_0042_0005__Spring, arg0).
arc(r_0042_0007__come, r_0042_0008__at_last, nim25).
arc(r_0042_0011__said, utterance_42_a_wilde_2_1888_6, arg1).
arc(r_0042_0011__said, r_0042_0012__the_r_0042_0013__Giant, arg0).
arc(r_0042_0015__and, r_0042_0011__said, conj1).
arc(r_0042_0015__and, r_0042_0020__and, conj2).
arc(r_0042_0017__jumped, r_0042_0012__the_r_0042_0013__Giant, arg0).
arc(r_0042_0017__jumped, r_0042_0019__bed, r_0042_0018__out_of_nim55).
arc(r_0042_0020__and, r_0042_0017__jumped, conj1).
arc(r_0042_0020__and, r_0042_0021__looked, conj2).
arc(r_0042_0021__looked, r_0042_0012__the_r_0042_0013__Giant, arg0).
arc(r_0042_0021__looked, r_0042_0022__out, nim64).

fof(formula,axiom,
    ? [R_42_15_AND,R_42_11_SAID,UTTERANCE_42_A_WILDE_2_1888_6,R_42_3_BELIEVE,R_42_2_I,R_42_6_HAS_COME,R_42_4_THE_SPRING,R_42_8_AT_LAST,R_42_20_AND,R_42_17_JUMPED,R_42_19_BED,R_42_21_LOOKED,R_42_12_THE_GIANT,R_42_22_OUT] :
      ( i(R_42_2_I)
      & the_Spring(R_42_4_THE_SPRING)
      & at_last(R_42_8_AT_LAST)
      & bed(R_42_19_BED)
      & the_Giant(R_42_12_THE_GIANT)
      & out(R_42_22_OUT)
      & and(R_42_15_AND)
      & conj1(R_42_15_AND,R_42_11_SAID)
      & said(R_42_11_SAID,R_42_12_THE_GIANT,UTTERANCE_42_A_WILDE_2_1888_6)
      & utterance_42_a_wilde_2_1888_6(UTTERANCE_42_A_WILDE_2_1888_6)
      & part1(UTTERANCE_42_A_WILDE_2_1888_6,R_42_3_BELIEVE)
      & believe(R_42_3_BELIEVE,R_42_2_I,R_42_6_HAS_COME)
      & has_come(R_42_6_HAS_COME,R_42_4_THE_SPRING)
      & nim25(R_42_6_HAS_COME,R_42_8_AT_LAST)
      & conj2(R_42_15_AND,R_42_20_AND)
      & and(R_42_20_AND)
      & conj1(R_42_20_AND,R_42_17_JUMPED)
      & jumped(R_42_17_JUMPED,R_42_12_THE_GIANT)
      & out_of_nim55(R_42_17_JUMPED,R_42_19_BED)
      & conj2(R_42_20_AND,R_42_21_LOOKED)
      & looked(R_42_21_LOOKED,R_42_12_THE_GIANT)
      & nim64(R_42_21_LOOKED,R_42_22_OUT) ) ).

( (IP-MAT (ILYR (ILYR (PULQ <ldquo>)
                      (utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
                                             (VBP;__ believe;{believe})
                                             (CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
                                                                         (NPR Spring;{Spring}))
                                                                 (HVP;_cat_Ve_ has;{have})
                                                                 (IP-PPL-CAT (VVN;__ come;{come})
                                                                             (ADVP-NIM (ADV at_last;{at_last})))))))
                      (PUNC ,)
                      (PURQ <rdquo>)
                      (VBD;_Tr_ said;{say})
                      (NP-SBJ;{GIANT} (D the;{the})
                                      (N Giant;{giant})))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GIANT} (PRO he;{he}))
                             (ILYR (ILYR (VBD;__ jumped;{jump})
                                         (PP-NIM (P-ROLE out_of;{out_of})
                                                 (NP (N bed;{bed}))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;__ looked;{look})
                                                (ADVP-NIM (RP out;{out}))))))))
          (PUNC .))
  (ID 42_a_wilde_2_1888))