8_a_dick_1952
He adjusted the focus quickly.
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, nim12).
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_nim12(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) ) ).
( (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))