( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn.pr_ spread;{spread[under]})
                      (NP-OB1;{DREAMS} (NP-GEN (PRO;_genm_ my;{my}))
                                       (NS dreams;{dream}))
                      (PP-CLR (P-ROLE under;{under})
                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                  (NS feet;{foot}))))
          (PUNC ;))
  (ID 4_a_yeats_1899))

arc(r_0004_0002__have,r_0004_0003__spread_r_0004_0006__under,scope).
arc(r_0004_0003__spread_r_0004_0006__under,r_0004_0001__I,arg0).
arc(r_0004_0003__spread_r_0004_0006__under,r_0004_0005__dreams,arg1).
arc(r_0004_0003__spread_r_0004_0006__under,r_0004_0008__feet,arg2).
arc(r_0004_0005__dreams,r_0004_0001__I,gen).
arc(r_0004_0008__feet,r_0004_0007__your,gen).

fof(formula,axiom,
    ? [R_0004_0001__I,R_0004_0005__DREAMS,R_0004_0007__YOUR,R_0004_0008__FEET,R_0004_0002__HAVE_R_0004_0003__SPREAD_R_0004_0006__UNDER] :
      ( r_0004_0001__I(R_0004_0001__I)
      & r_0004_0007__your(R_0004_0007__YOUR)
      & r_0004_0002__have_r_0004_0003__spread_r_0004_0006__under(R_0004_0002__HAVE_R_0004_0003__SPREAD_R_0004_0006__UNDER)
      & has_arg2(R_0004_0002__HAVE_R_0004_0003__SPREAD_R_0004_0006__UNDER,R_0004_0008__FEET)
      & r_0004_0008__feet(R_0004_0008__FEET)
      & has_gen(R_0004_0008__FEET,R_0004_0007__YOUR)
      & has_arg1(R_0004_0002__HAVE_R_0004_0003__SPREAD_R_0004_0006__UNDER,R_0004_0005__DREAMS)
      & r_0004_0005__dreams(R_0004_0005__DREAMS)
      & has_gen(R_0004_0005__DREAMS,R_0004_0001__I)
      & has_arg0(R_0004_0002__HAVE_R_0004_0003__SPREAD_R_0004_0006__UNDER,R_0004_0001__I) ) ).