427_a_dick_1952
He stared into the dark yawning hole.
arc(r_0427_0002__stared, r_0427_0001__He, arg0).
arc(r_0427_0002__stared, r_0427_0004__the_r_0427_0007__hole, r_0427_0003__into_clr10).
arc(r_0427_0004__the_r_0427_0007__hole, r_0427_0005__dark, attrib13).
arc(r_0427_0006__yawning, r_0427_0004__the_r_0427_0007__hole, arg0).
fof(formula,axiom,
? [R_427_2_STARED,R_427_1_HE,R_427_6_YAWNING,R_427_4_THE_HOLE,R_427_5_DARK] :
( he(R_427_1_HE)
& dark(R_427_5_DARK)
& stared(R_427_2_STARED,R_427_1_HE)
& into_clr10(R_427_2_STARED,R_427_4_THE_HOLE)
& the_hole(R_427_4_THE_HOLE)
& attrib13(R_427_4_THE_HOLE,R_427_5_DARK)
& yawning(R_427_6_YAWNING,R_427_4_THE_HOLE) ) ).
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
(VBD;_Ipr_ stared;{stare[into]})
(PP-CLR (P-ROLE into;{into})
(NP (D the;{the})
(ADJP (ADJ dark;{dark}))
(IP-PPL (VAG;_I_ yawning;{yawn}))
(N hole;{hole})))
(PUNC .))
(ID 427_a_dick_1952))