( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (NP-GEN;{GIANT} (D the;{the})
                                  (N Giant;{giant})
                                  (GENM <apos>s))
                  (N heart;{heart}))
          (VBD;_I_ melted;{melt})
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                           (VBD;_Ip_ looked;{look[out]})
                           (ADVP-CLR (RP out;{out}))))
          (PUNC .))
  (ID 54_a_wilde_2_1888))

arc(r_0054_0005__heart,r_0054_0002__the_r_0054_0003__Giant,gen).
arc(r_0054_0006__melted,r_0054_0005__heart,arg0).
arc(r_0054_0007__as,r_0054_0006__melted,scope).
arc(r_0054_0007__as,r_0054_0009__looked_r_0054_0010__out,restriction).
arc(r_0054_0009__looked_r_0054_0010__out,r_0054_0002__the_r_0054_0003__Giant,arg0).

fof(formula,axiom,
    ? [R_0054_0002__THE_R_0054_0003__GIANT,R_0054_0005__HEART,R_0054_0006__MELTED,R_0054_0009__LOOKED_R_0054_0010__OUT,R_0054_0007__AS] :
      ( r_0054_0002__the_r_0054_0003__Giant(R_0054_0002__THE_R_0054_0003__GIANT)
      & r_0054_0007__as(R_0054_0007__AS)
      & has_conj1(R_0054_0007__AS,R_0054_0009__LOOKED_R_0054_0010__OUT)
      & r_0054_0009__looked_r_0054_0010__out(R_0054_0009__LOOKED_R_0054_0010__OUT)
      & has_arg0(R_0054_0009__LOOKED_R_0054_0010__OUT,R_0054_0002__THE_R_0054_0003__GIANT)
      & has_conj2(R_0054_0007__AS,R_0054_0006__MELTED)
      & r_0054_0006__melted(R_0054_0006__MELTED)
      & has_arg0(R_0054_0006__MELTED,R_0054_0005__HEART)
      & r_0054_0005__heart(R_0054_0005__HEART)
      & has_gen(R_0054_0005__HEART,R_0054_0002__THE_R_0054_0003__GIANT) ) ).