( (IP-MAT (NP-SBJ (D A;{a})
                  (N crape;{crape})
                  (N bouquet;{bouquet}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ tied;{tie})
                      (PP-NIM (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N door_<hyphen>_knocker;{door_knocker})))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (N ribbon;{ribbon}))))
          (PUNC .))
  (ID 69_a_joyce_1914))

arc(r_0069_0004__was,r_0069_0005__tied,scope).
arc(r_0069_0005__tied,r_0069_0001__A_r_0069_0002__crape_r_0069_0003__bouquet,arg1).
arc(r_0069_0005__tied,r_0069_0007__the_r_0069_0008__door__hyphen__knocker,r_0069_0006__to__nim).
arc(r_0069_0005__tied,r_0069_0010__ribbon,r_0069_0009__with__nim).
arc(r_0069_0005__tied,z_0069_5005___star_,arg0).

fof(formula,axiom,
    ? [R_0069_0001__A_R_0069_0002__CRAPE_R_0069_0003__BOUQUET,R_0069_0007__THE_R_0069_0008__DOOR__HYPHEN__KNOCKER,R_0069_0010__RIBBON,Z_0069_5005___STAR_,R_0069_0004__WAS_R_0069_0005__TIED] :
      ( r_0069_0001__A_r_0069_0002__crape_r_0069_0003__bouquet(R_0069_0001__A_R_0069_0002__CRAPE_R_0069_0003__BOUQUET)
      & r_0069_0007__the_r_0069_0008__door__hyphen__knocker(R_0069_0007__THE_R_0069_0008__DOOR__HYPHEN__KNOCKER)
      & r_0069_0010__ribbon(R_0069_0010__RIBBON)
      & z_0069_5005___star_(Z_0069_5005___STAR_)
      & r_0069_0004__was_r_0069_0005__tied(R_0069_0004__WAS_R_0069_0005__TIED)
      & has_arg0(R_0069_0004__WAS_R_0069_0005__TIED,Z_0069_5005___STAR_)
      & has_r_0069_0009__with__nim(R_0069_0004__WAS_R_0069_0005__TIED,R_0069_0010__RIBBON)
      & has_r_0069_0006__to__nim(R_0069_0004__WAS_R_0069_0005__TIED,R_0069_0007__THE_R_0069_0008__DOOR__HYPHEN__KNOCKER)
      & has_arg1(R_0069_0004__WAS_R_0069_0005__TIED,R_0069_0001__A_R_0069_0002__CRAPE_R_0069_0003__BOUQUET) ) ).