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_8_2_ADJUSTED,R_8_1_HE,R_8_3_THE_FOCUS,R_8_5_QUICKLY] :
( he(R_8_1_HE)
& the_focus(R_8_3_THE_FOCUS)
& quickly(R_8_5_QUICKLY)
& adjusted(R_8_2_ADJUSTED,R_8_1_HE,R_8_3_THE_FOCUS)
& nim12(R_8_2_ADJUSTED,R_8_5_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))