playground/pvs/mybabyv3-nonnarcissist.prf

(mybabynn
 (mybabyIsNotMe 0
  (mybabyIsNotMe-1 nil 3863820756
   ("" (lemma "mybabyLovesMe")
    (("" (lemma "nonNarcissism")
      (("" (inst - "mybaby" "me") (("" (postpone) nil nil)) nil)) nil))
    nil)
   nil shostak)))