( (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))

arc(r_0427_0002__stared_r_0427_0003__into,r_0427_0001__He,arg0).
arc(r_0427_0002__stared_r_0427_0003__into,r_0427_0004__the_r_0427_0007__hole,arg1).
arc(r_0427_0004__the_r_0427_0007__hole,r_0427_0005__dark,attrib).
arc(r_0427_0006__yawning,r_0427_0004__the_r_0427_0007__hole,inv_arg0).

fof(formula,axiom,
    ? [R_0427_0001__HE,R_0427_0005__DARK,R_0427_0006__YAWNING,R_0427_0004__THE_R_0427_0007__HOLE,R_0427_0002__STARED_R_0427_0003__INTO] :
      ( r_0427_0001__He(R_0427_0001__HE)
      & r_0427_0005__dark(R_0427_0005__DARK)
      & r_0427_0006__yawning(R_0427_0006__YAWNING)
      & r_0427_0002__stared_r_0427_0003__into(R_0427_0002__STARED_R_0427_0003__INTO)
      & has_arg1(R_0427_0002__STARED_R_0427_0003__INTO,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_inv_arg0(R_0427_0004__THE_R_0427_0007__HOLE,R_0427_0006__YAWNING)
      & has_attrib(R_0427_0004__THE_R_0427_0007__HOLE,R_0427_0005__DARK)
      & has_arg0(R_0427_0002__STARED_R_0427_0003__INTO,R_0427_0001__HE) ) ).