32_a_lob_n01
He glanced at 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))
arc(r_0032_0002__glanced_r_0032_0003__at,r_0032_0001__He,arg0).
arc(r_0032_0002__glanced_r_0032_0003__at,r_0032_0004__the_r_0032_0005__speed_r_0032_0006__recorder,arg1).
fof(formula,axiom,
? [R_0032_0001__HE,R_0032_0004__THE_R_0032_0005__SPEED_R_0032_0006__RECORDER,R_0032_0002__GLANCED_R_0032_0003__AT] :
( r_0032_0001__He(R_0032_0001__HE)
& r_0032_0004__the_r_0032_0005__speed_r_0032_0006__recorder(R_0032_0004__THE_R_0032_0005__SPEED_R_0032_0006__RECORDER)
& r_0032_0002__glanced_r_0032_0003__at(R_0032_0002__GLANCED_R_0032_0003__AT)
& has_arg1(R_0032_0002__GLANCED_R_0032_0003__AT,R_0032_0004__THE_R_0032_0005__SPEED_R_0032_0006__RECORDER)
& has_arg0(R_0032_0002__GLANCED_R_0032_0003__AT,R_0032_0001__HE) ) ).