( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn.pr_ write;{write[on]})
                      (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                              (N name;{name}))
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (N deposit;{deposit})
                                  (N slip;{slip}))))
          (PUNC .))
  (ID 10_a_goodwill))

arc(r_0010_0002__can,r_0010_0003__write_r_0010_0006__on,scope).
arc(r_0010_0003__write_r_0010_0006__on,r_0010_0001__I,arg0).
arc(r_0010_0003__write_r_0010_0006__on,r_0010_0005__name,arg1).
arc(r_0010_0003__write_r_0010_0006__on,r_0010_0007__the_r_0010_0008__deposit_r_0010_0009__slip,arg2).
arc(r_0010_0005__name,r_0010_0001__I,gen).

fof(formula,axiom,
    ? [R_0010_0001__I,R_0010_0005__NAME,R_0010_0007__THE_R_0010_0008__DEPOSIT_R_0010_0009__SLIP,R_0010_0002__CAN_R_0010_0003__WRITE_R_0010_0006__ON] :
      ( r_0010_0001__I(R_0010_0001__I)
      & r_0010_0007__the_r_0010_0008__deposit_r_0010_0009__slip(R_0010_0007__THE_R_0010_0008__DEPOSIT_R_0010_0009__SLIP)
      & r_0010_0002__can_r_0010_0003__write_r_0010_0006__on(R_0010_0002__CAN_R_0010_0003__WRITE_R_0010_0006__ON)
      & has_arg2(R_0010_0002__CAN_R_0010_0003__WRITE_R_0010_0006__ON,R_0010_0007__THE_R_0010_0008__DEPOSIT_R_0010_0009__SLIP)
      & has_arg1(R_0010_0002__CAN_R_0010_0003__WRITE_R_0010_0006__ON,R_0010_0005__NAME)
      & r_0010_0005__name(R_0010_0005__NAME)
      & has_gen(R_0010_0005__NAME,R_0010_0001__I)
      & has_arg0(R_0010_0002__CAN_R_0010_0003__WRITE_R_0010_0006__ON,R_0010_0001__I) ) ).