132_a_lob_n02
An' he say for true!’
arc(r_0132_0001__An_apos__r_0132_0003__say, r_0132_0002__he, arg0).
arc(r_0132_0001__An_apos__r_0132_0003__say, z_000_132_a_lob_n02_12, r_0132_0004__for_nim12).
fof(formula,axiom,
? [R_0132_0002__HE,Z_000_132_A_LOB_N02_12,R_0132_0001__AN_APOS__R_0132_0003__SAY] :
( r_0132_0002__he(R_0132_0002__HE)
& z_000_132_a_lob_n02_12(Z_000_132_A_LOB_N02_12)
& r_0132_0001__An_apos__r_0132_0003__say(R_0132_0001__AN_APOS__R_0132_0003__SAY)
& has_r_0132_0004__for_nim12(R_0132_0001__AN_APOS__R_0132_0003__SAY,Z_000_132_A_LOB_N02_12)
& has_arg0(R_0132_0001__AN_APOS__R_0132_0003__SAY,R_0132_0002__HE) ) ).
( (IP-MAT (CONJ;_cl_ An<apos>;{and})
(NP-SBJ;{PIERS} (PRO he;{he}))
(VBP;__ say;{say})
(PP-NIM (P-ROLE for;{for})
(NP (ADJP-PRD (ADJ true;{true}))))
(PUNC !)
(PURQ <rquo>))
(ID 132_a_lob_n02))