( (IP-MAT (ILYR (ILYR (NP-SBJ;{FOMAR} (PRO He;{he}))
                      (VBD;_It_ tried;{try})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_I_ smile;{smile})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (NP-GEN;{FOMAR} (PRO;_genm_ his;{his}))
                                     (NS lips;{lip}))
                             (VBD;_La_ stayed;{stay})
                             (ADJP-PRD (ADJ unmoved;{unmoved})))))
          (PUNC .))
  (ID 29_a_dick_1952))

arc(r_0029_0002__tried,r_0029_0001__He,arg0).
arc(r_0029_0002__tried,r_0029_0004__smile,clr).
arc(r_0029_0004__smile,r_0029_0001__He,arg0).
arc(r_0029_0006__but,r_0029_0002__tried,conj1).
arc(r_0029_0006__but,r_0029_0009__stayed,conj2).
arc(r_0029_0008__lips,r_0029_0001__He,gen).
arc(r_0029_0009__stayed,r_0029_0008__lips,arg0).
arc(r_0029_0009__stayed,r_0029_0010__unmoved,prd).

fof(formula,axiom,
    ? [R_0029_0001__HE,R_0029_0004__SMILE,R_0029_0002__TRIED,R_0029_0008__LIPS,R_0029_0010__UNMOVED,R_0029_0009__STAYED,R_0029_0006__BUT] :
      ( r_0029_0001__He(R_0029_0001__HE)
      & r_0029_0010__unmoved(R_0029_0010__UNMOVED)
      & r_0029_0006__but(R_0029_0006__BUT)
      & has_conj2(R_0029_0006__BUT,R_0029_0009__STAYED)
      & r_0029_0009__stayed(R_0029_0009__STAYED)
      & has_prd(R_0029_0009__STAYED,R_0029_0010__UNMOVED)
      & has_arg0(R_0029_0009__STAYED,R_0029_0008__LIPS)
      & r_0029_0008__lips(R_0029_0008__LIPS)
      & has_gen(R_0029_0008__LIPS,R_0029_0001__HE)
      & has_conj1(R_0029_0006__BUT,R_0029_0002__TRIED)
      & r_0029_0002__tried(R_0029_0002__TRIED)
      & has_clr(R_0029_0002__TRIED,R_0029_0004__SMILE)
      & r_0029_0004__smile(R_0029_0004__SMILE)
      & has_arg0(R_0029_0004__SMILE,R_0029_0001__HE)
      & has_arg0(R_0029_0002__TRIED,R_0029_0001__HE) ) ).