arc(r_0010_0002__can, r_0010_0003__write, scope).
arc(r_0010_0003__write, r_0010_0001__I, arg0).
arc(r_0010_0003__write, r_0010_0005__name, arg1).
arc(r_0010_0003__write, r_0010_0007__the_r_0010_0008__deposit_r_0010_0009__slip, r_0010_0006__on_clr19).
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_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_0002__CAN_R_0010_0003__WRITE)
      & has_r_0010_0006__on_clr19(R_0010_0002__CAN_R_0010_0003__WRITE,R_0010_0007__THE_R_0010_0008__DEPOSIT_R_0010_0009__SLIP)
      & has_arg1(R_0010_0002__CAN_R_0010_0003__WRITE,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_0001__I) ) ).

( (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))