( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{GIANT} (PRO he;{he}))
          (ILYR (ILYR (ILYR (ILYR (VBD;_I_ crept;{creep})
                                  (ADVP-NIM (ADV downstairs;{downstairs})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_Tn_ opened;{open})
                                         (NP-OB1 (D the;{the})
                                                 (N front;{front})
                                                 (N door;{door}))
                                         (ADVP-NIM (ADVP (ADV quite;{quite}))
                                                   (ADV softly;{softly}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Ip_ went;{go[out]})
                             (RP out;{out})
                             (PP-NIM (P-ROLE into;{into})
                                     (NP (D the;{the})
                                         (N garden;{garden}))))))
          (PUNC .))
  (ID 58_a_wilde_2_1888))

arc(r_0058_0003__crept,r_0058_0001__So,nim).
arc(r_0058_0003__crept,r_0058_0002__he,arg0).
arc(r_0058_0003__crept,r_0058_0004__downstairs,nim).
arc(r_0058_0005__and,r_0058_0003__crept,conj1).
arc(r_0058_0005__and,r_0058_0006__opened,conj2).
arc(r_0058_0006__opened,r_0058_0001__So,nim).
arc(r_0058_0006__opened,r_0058_0002__he,arg0).
arc(r_0058_0006__opened,r_0058_0007__the_r_0058_0008__front_r_0058_0009__door,arg1).
arc(r_0058_0006__opened,r_0058_0011__softly,nim).
arc(r_0058_0011__softly,r_0058_0010__quite,qual).
arc(r_0058_0013__and,r_0058_0005__and,conj1).
arc(r_0058_0013__and,r_0058_0014__went_r_0058_0015__out,conj2).
arc(r_0058_0014__went_r_0058_0015__out,r_0058_0001__So,nim).
arc(r_0058_0014__went_r_0058_0015__out,r_0058_0002__he,arg0).
arc(r_0058_0014__went_r_0058_0015__out,r_0058_0017__the_r_0058_0018__garden,r_0058_0016__into__nim).

fof(formula,axiom,
    ? [R_0058_0001__SO,R_0058_0002__HE,R_0058_0004__DOWNSTAIRS,R_0058_0003__CREPT,R_0058_0007__THE_R_0058_0008__FRONT_R_0058_0009__DOOR,R_0058_0010__QUITE,R_0058_0011__SOFTLY,R_0058_0006__OPENED,R_0058_0005__AND,R_0058_0017__THE_R_0058_0018__GARDEN,R_0058_0014__WENT_R_0058_0015__OUT,R_0058_0013__AND] :
      ( r_0058_0001__So(R_0058_0001__SO)
      & r_0058_0002__he(R_0058_0002__HE)
      & r_0058_0004__downstairs(R_0058_0004__DOWNSTAIRS)
      & r_0058_0007__the_r_0058_0008__front_r_0058_0009__door(R_0058_0007__THE_R_0058_0008__FRONT_R_0058_0009__DOOR)
      & r_0058_0010__quite(R_0058_0010__QUITE)
      & r_0058_0017__the_r_0058_0018__garden(R_0058_0017__THE_R_0058_0018__GARDEN)
      & r_0058_0013__and(R_0058_0013__AND)
      & has_conj2(R_0058_0013__AND,R_0058_0014__WENT_R_0058_0015__OUT)
      & r_0058_0014__went_r_0058_0015__out(R_0058_0014__WENT_R_0058_0015__OUT)
      & has_r_0058_0016__into__nim(R_0058_0014__WENT_R_0058_0015__OUT,R_0058_0017__THE_R_0058_0018__GARDEN)
      & has_arg0(R_0058_0014__WENT_R_0058_0015__OUT,R_0058_0002__HE)
      & has_nim(R_0058_0014__WENT_R_0058_0015__OUT,R_0058_0001__SO)
      & has_conj1(R_0058_0013__AND,R_0058_0005__AND)
      & r_0058_0005__and(R_0058_0005__AND)
      & has_conj2(R_0058_0005__AND,R_0058_0006__OPENED)
      & r_0058_0006__opened(R_0058_0006__OPENED)
      & has_nim(R_0058_0006__OPENED,R_0058_0011__SOFTLY)
      & r_0058_0011__softly(R_0058_0011__SOFTLY)
      & has_qual(R_0058_0011__SOFTLY,R_0058_0010__QUITE)
      & has_arg1(R_0058_0006__OPENED,R_0058_0007__THE_R_0058_0008__FRONT_R_0058_0009__DOOR)
      & has_arg0(R_0058_0006__OPENED,R_0058_0002__HE)
      & has_nim(R_0058_0006__OPENED,R_0058_0001__SO)
      & has_conj1(R_0058_0005__AND,R_0058_0003__CREPT)
      & r_0058_0003__crept(R_0058_0003__CREPT)
      & has_nim(R_0058_0003__CREPT,R_0058_0004__DOWNSTAIRS)
      & has_arg0(R_0058_0003__CREPT,R_0058_0002__HE)
      & has_nim(R_0058_0003__CREPT,R_0058_0001__SO) ) ).