19 lines
547 B
Plaintext
19 lines
547 B
Plaintext
(mybaby
|
|
(everybodyLovesMyBaby 0
|
|
(everybodyLovesMyBaby-1 nil 3862968002 ("" (postpone) nil nil) nil
|
|
SHOSTAK))
|
|
(mybabyIsMe 0
|
|
(mybabyIsMe-1 nil 3862967754
|
|
("" (lemma "everybodyLovesMyBaby")
|
|
(("" (inst - "mybaby")
|
|
(("" (lemma "mybabyLovesOnlyMe") (("" (forward-chain -) nil nil))
|
|
nil))
|
|
nil))
|
|
nil)
|
|
((person nonempty-type-decl nil mybaby nil)
|
|
(mybaby const-decl "person" mybaby nil)
|
|
(mybabyLovesOnlyMe formula-decl nil mybaby nil)
|
|
(everybodyLovesMyBaby formula-decl nil mybaby nil))
|
|
SHOSTAK)))
|
|
|