32_a_lob_n01
He glanced at the speed recorder.
arc(r_0032_0002__glanced, r_0032_0001__He, arg0).
arc(r_0032_0002__glanced, r_0032_0004__the_r_0032_0005__speed_r_0032_0006__recorder, r_0032_0003__at_clr10).
fof(formula,axiom,
? [R_32_2_GLANCED,R_32_1_HE,R_32_4_THE_SPEED_RECORDER] :
( he(R_32_1_HE)
& the_speed_recorder(R_32_4_THE_SPEED_RECORDER)
& glanced(R_32_2_GLANCED,R_32_1_HE)
& at_clr10(R_32_2_GLANCED,R_32_4_THE_SPEED_RECORDER) ) ).
( (IP-MAT (NP-SBJ;{GEOFFREY} (PRO He;{he}))
(VBD;_Ipr_ glanced;{glance[at]})
(PP-CLR (P-ROLE at;{at})
(NP (D the;{the})
(N speed;{speed})
(N recorder;{recorder})))
(PUNC .))
(ID 32_a_lob_n01))