423_a_dick_1952
Come on.”
arc(r_0423_0001__Come_r_0423_0002__on, z_000_423_a_dick_1952_1, arg0).
fof(formula,axiom,
? [Z_000_423_A_DICK_1952_1,R_0423_0001__COME_R_0423_0002__ON] :
( z_000_423_a_dick_1952_1(Z_000_423_A_DICK_1952_1)
& r_0423_0001__Come_r_0423_0002__on(R_0423_0001__COME_R_0423_0002__ON)
& has_arg0(R_0423_0001__COME_R_0423_0002__ON,Z_000_423_A_DICK_1952_1) ) ).
( (IP-IMP (VB;_phr_Vp_ Come;{come[on]})
(RP on;{on})
(PUNC .)
(PURQ <rdquo>))
(ID 423_a_dick_1952))