8_a_dick_1952
He adjusted the focus quickly.
( (IP-MAT (NP-SBJ;{CAPTAIN} (PRO He;{he}))
(VBD;_Tn_ adjusted;{adjust})
(NP-OB1 (D the;{the})
(N focus;{focus}))
(ADVP-NIM (ADV quickly;{quickly}))
(PUNC .))
(ID 8_a_dick_1952))
arc(r_0008_0002__adjusted,r_0008_0001__He,arg0).
arc(r_0008_0002__adjusted,r_0008_0003__the_r_0008_0004__focus,arg1).
arc(r_0008_0002__adjusted,r_0008_0005__quickly,nim).
fof(formula,axiom,
? [R_0008_0001__HE,R_0008_0003__THE_R_0008_0004__FOCUS,R_0008_0005__QUICKLY,R_0008_0002__ADJUSTED] :
( r_0008_0001__He(R_0008_0001__HE)
& r_0008_0003__the_r_0008_0004__focus(R_0008_0003__THE_R_0008_0004__FOCUS)
& r_0008_0005__quickly(R_0008_0005__QUICKLY)
& r_0008_0002__adjusted(R_0008_0002__ADJUSTED)
& has_nim(R_0008_0002__ADJUSTED,R_0008_0005__QUICKLY)
& has_arg1(R_0008_0002__ADJUSTED,R_0008_0003__THE_R_0008_0004__FOCUS)
& has_arg0(R_0008_0002__ADJUSTED,R_0008_0001__HE) ) ).