arc(r_0085_0003__ran, r_0085_0002__stairs, r_0085_0001__Down_nim7).
arc(r_0085_0003__ran, r_0085_0004__the_r_0085_0005__Giant, arg0).
arc(r_0085_0003__ran, r_0085_0008__joy, r_0085_0006__in_nim20).
arc(r_0085_0008__joy, r_0085_0007__great, attrib21).
arc(r_0085_0010__and, r_0085_0003__ran, conj1).
arc(r_0085_0010__and, r_0085_0011__out, conj2).
arc(r_0085_0011__out, r_0085_0013__the_r_0085_0014__garden, r_0085_0012__into_nim37).

fof(formula,axiom,
    ? [R_85_10_AND,R_85_3_RAN,R_85_4_THE_GIANT,R_85_2_STAIRS,R_85_8_JOY,R_85_7_GREAT,R_85_11_OUT,R_85_13_THE_GARDEN] :
      ( the_Giant(R_85_4_THE_GIANT)
      & stairs(R_85_2_STAIRS)
      & great(R_85_7_GREAT)
      & the_garden(R_85_13_THE_GARDEN)
      & and(R_85_10_AND)
      & conj1(R_85_10_AND,R_85_3_RAN)
      & ran(R_85_3_RAN,R_85_4_THE_GIANT)
      & down_nim7(R_85_3_RAN,R_85_2_STAIRS)
      & in_nim20(R_85_3_RAN,R_85_8_JOY)
      & joy(R_85_8_JOY)
      & attrib21(R_85_8_JOY,R_85_7_GREAT)
      & conj2(R_85_10_AND,R_85_11_OUT)
      & out(R_85_11_OUT)
      & into_nim37(R_85_11_OUT,R_85_13_THE_GARDEN) ) ).

( (IP-MAT (ILYR (ILYR (PP-TPC-NIM (P-ROLE Down;{down})
                                  (NP (N stairs;{stair})))
                      (VBD;_I_ ran;{run})
                      (NP-SBJ;{GIANT} (D the;{the})
                                      (N Giant;{giant}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (ADJP (ADJ great;{great}))
                                  (N joy;{joy}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (RP out;{out})
                             (PP-NIM (P-ROLE into;{into})
                                     (NP;{GARDEN} (D the;{the})
                                                  (N garden;{garden}))))))
          (PUNC .))
  (ID 85_a_wilde_2_1888))