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_0427_0001__HE,R_0427_0005__DARK,R_0427_0004__THE_R_0427_0007__HOLE,R_0427_0002__STARED,R_0427_0006__YAWNING] :
( r_0427_0001__He(R_0427_0001__HE)
& r_0427_0005__dark(R_0427_0005__DARK)
& r_0427_0006__yawning(R_0427_0006__YAWNING)
& has_arg0(R_0427_0006__YAWNING,R_0427_0004__THE_R_0427_0007__HOLE)
& r_0427_0004__the_r_0427_0007__hole(R_0427_0004__THE_R_0427_0007__HOLE)
& has_attrib13(R_0427_0004__THE_R_0427_0007__HOLE,R_0427_0005__DARK)
& r_0427_0002__stared(R_0427_0002__STARED)
& has_r_0427_0003__into_clr10(R_0427_0002__STARED,R_0427_0004__THE_R_0427_0007__HOLE)
& has_arg0(R_0427_0002__STARED,R_0427_0001__HE) ) ).
( (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))