( (IP-IMP (VB;_I_ Tread;{tread})
          (ADVP-NIM (ADV softly;{softly}))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ tread;{tread[on]})
                           (PP-CLR (P-ROLE on;{on})
                                   (NP;{DREAMS} (NP-GEN (PRO;_genm_ my;{my}))
                                                (NS dreams;{dream})))))
          (PUNC .))
  (ID 5_a_yeats_1899))

arc(r_0005_0001__Tread,r_0005_0002__softly,nim).
arc(r_0005_0001__Tread,z_0005_5002,arg0).
arc(r_0005_0003__because,r_0005_0001__Tread,scope).
arc(r_0005_0003__because,r_0005_0005__tread_r_0005_0006__on,restriction).
arc(r_0005_0005__tread_r_0005_0006__on,r_0005_0004__you,arg0).
arc(r_0005_0005__tread_r_0005_0006__on,r_0005_0008__dreams,arg1).
arc(r_0005_0008__dreams,r_0005_0007__my,gen).

fof(formula,axiom,
    ? [R_0005_0002__SOFTLY,Z_0005_5002,R_0005_0001__TREAD,R_0005_0004__YOU,R_0005_0007__MY,R_0005_0008__DREAMS,R_0005_0005__TREAD_R_0005_0006__ON,R_0005_0003__BECAUSE] :
      ( r_0005_0002__softly(R_0005_0002__SOFTLY)
      & r_0005_0004__you(R_0005_0004__YOU)
      & r_0005_0007__my(R_0005_0007__MY)
      & z_0005_5002(Z_0005_5002)
      & r_0005_0003__because(R_0005_0003__BECAUSE)
      & has_conj1(R_0005_0003__BECAUSE,R_0005_0005__TREAD_R_0005_0006__ON)
      & r_0005_0005__tread_r_0005_0006__on(R_0005_0005__TREAD_R_0005_0006__ON)
      & has_arg1(R_0005_0005__TREAD_R_0005_0006__ON,R_0005_0008__DREAMS)
      & r_0005_0008__dreams(R_0005_0008__DREAMS)
      & has_gen(R_0005_0008__DREAMS,R_0005_0007__MY)
      & has_arg0(R_0005_0005__TREAD_R_0005_0006__ON,R_0005_0004__YOU)
      & has_conj2(R_0005_0003__BECAUSE,R_0005_0001__TREAD)
      & r_0005_0001__Tread(R_0005_0001__TREAD)
      & has_arg0(R_0005_0001__TREAD,Z_0005_5002)
      & has_nim(R_0005_0001__TREAD,R_0005_0002__SOFTLY) ) ).