61_a_lob_n02
‘Of all the caddish things to say!’
arc(r_0061_0003__all_quant, r_0061_0004__the_r_0061_0006__things, restriction).
arc(r_0061_0003__all_quant, z_000_61_a_lob_n02_1, scope).
arc(r_0061_0004__the_r_0061_0006__things, r_0061_0005__caddish, attrib12).
arc(r_0061_0004__the_r_0061_0006__things, r_0061_0007__to_r_0061_0008__say, emb17).
arc(r_0061_0007__to_r_0061_0008__say, z_000_61_a_lob_n02_17, arg0).
arc(z_000_61_a_lob_n02_1, r_0061_0004__the_r_0061_0006__things, r_0061_0002__Of_nim7).
fof(formula,axiom,
! [R_61_4_THE_THINGS,R_61_5_CADDISH,R_61_7_TO_SAY,Z_61_A_LOB_N02_17] :
( ( caddish(R_61_5_CADDISH)
& the_things(R_61_4_THE_THINGS)
& attrib12(R_61_4_THE_THINGS,R_61_5_CADDISH)
& emb17(R_61_4_THE_THINGS,R_61_7_TO_SAY)
& to_say(R_61_7_TO_SAY,Z_61_A_LOB_N02_17) )
=> ? [Z_61_A_LOB_N02_1] :
( z_61_a_lob_n02_1(Z_61_A_LOB_N02_1)
& of_nim7(Z_61_A_LOB_N02_1,R_61_4_THE_THINGS) ) ) ).
( (FRAG (PULQ <lquo>)
(PP (P-ROLE Of;{of})
(NP (Q;_nphd_ all;{all})
(D the;{the})
(ADJP (ADJ caddish;{caddish}))
(NS things;{thing})
(IP-INF (TO to;{to})
(VB;__ say;{say}))))
(PUNC !)
(PURQ <rquo>))
(ID 61_a_lob_n02))