187_a_dick_1952
Let Fomar do it.”
arc(r_0187_0001__Let, r_0187_0002__Fomar, arg1).
arc(r_0187_0001__Let, r_0187_0003__do, prd).
arc(r_0187_0001__Let, z_000_187_a_dick_1952_1, arg0).
arc(r_0187_0003__do, r_0187_0004__it, arg1).
arc(r_0187_0003__do, x_000_187_a_dick_1952_7, arg0).
fof(formula,axiom,
? [R_187_1_LET,Z_187_A_DICK_1952_1,R_187_2_FOMAR,R_187_3_DO,X_187_A_DICK_1952_7,R_187_4_IT] :
( fomar(R_187_2_FOMAR)
& it(R_187_4_IT)
& let(R_187_1_LET,Z_187_A_DICK_1952_1,R_187_2_FOMAR,R_187_3_DO)
& do(R_187_3_DO,X_187_A_DICK_1952_7,R_187_4_IT) ) ).
( (IP-IMP (VB;_Cn.i_ Let;{let})
(NP-OB1;{FOMAR} (NPR Fomar;{Fomar}))
(IP-INF-PRD (DO;_Tn_ do;{do})
(NP-OB1;{BE_CAPTAIN} (PRO it;{it})))
(PUNC .)
(PURQ <rdquo>))
(ID 187_a_dick_1952))