507_a_dick_1952
“Leave him alone.
arc(r_0507_0002__Leave, r_0507_0003__him, arg1).
arc(r_0507_0002__Leave, r_0507_0004__alone, prd).
arc(r_0507_0002__Leave, z_000_507_a_dick_1952_1, arg0).
fof(formula,axiom,
? [R_0507_0003__HIM,R_0507_0004__ALONE,Z_000_507_A_DICK_1952_1,R_0507_0002__LEAVE] :
( r_0507_0003__him(R_0507_0003__HIM)
& r_0507_0004__alone(R_0507_0004__ALONE)
& z_000_507_a_dick_1952_1(Z_000_507_A_DICK_1952_1)
& r_0507_0002__Leave(R_0507_0002__LEAVE)
& has_arg0(R_0507_0002__LEAVE,Z_000_507_A_DICK_1952_1)
& has_prd(R_0507_0002__LEAVE,R_0507_0004__ALONE)
& has_arg1(R_0507_0002__LEAVE,R_0507_0003__HIM) ) ).
( (IP-IMP (PULQ <ldquo>)
(VB;_Cn.a_ Leave;{leave})
(NP-OB1;{TANCE} (PRO him;{he}))
(ADJP-PRD (ADJ alone;{alone}))
(PUNC .))
(ID 507_a_dick_1952))