10_a_goodwill
I can write my name on the deposit slip.
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_10_2_CAN_WRITE,R_10_5_NAME,R_10_1_I,R_10_7_THE_DEPOSIT_SLIP] :
( i(R_10_1_I)
& the_deposit_slip(R_10_7_THE_DEPOSIT_SLIP)
& can_write(R_10_2_CAN_WRITE,R_10_1_I,R_10_5_NAME)
& name(R_10_5_NAME)
& gen(R_10_5_NAME,R_10_1_I)
& on_clr19(R_10_2_CAN_WRITE,R_10_7_THE_DEPOSIT_SLIP) ) ).
( (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))