A "CONVERSATION" WITH CASSIE

Here is a transcript of a ``conversation'' with CASSIE, the Cognitive Agent of the SNePS System (an Intelligent Entity).

User input is on lines with the :-prompt; CASSIE's output is on the lines that follow.

: John petted a yellow cat.
I understand that John petted a yellow cat

: The cat is a manx.
I understand that the yellow cat is a manx

: What did John pet?
John petted a yellow cat

: The dog is a mammal.
I understand that dogs are mammals

: For every d if d is a dog then there is a b such that b is a boy and b owns d.
I understand that for every d, if d is a dog then there exists a b such that b is a boy and b owns d

: Young Lucy petted a yellow dog.
I understand that young Lucy petted a yellow dog

: The boy saw her.
I understand that the boy saw young Lucy

: The boy is named Bill.
I understand that Bill is the boy

: He is clever.
I understand that Bill is clever

: He loved Lucy.
I understand that clever Bill loved young Lucy

: Who was loved by him?
young Lucy was loved by clever Bill

: Who is young?
Lucy is young

: Who is clever?
Bill is clever

: What is yellow?
a cat is yellow and a dog is yellow

: Lucy is a girl.
I understand that young Lucy is a girl

: What did she pet?
young Lucy petted a yellow dog

: Girls are people.
I understand that girls are people

: What was petted by a person?
a yellow dog was petted by young Lucy

: John is a boy.
I understand that John is a boy

: Boys are people.
I understand that boys are people

: What was petted by a person?
a yellow dog was petted by young Lucy and a yellow cat was petted by John

: Dogs are animals.
I understand that dogs are animals

: They are smart.
I understand that for every v9, if v9 is a dog then presumably v9 is smart

: Who petted an animal?
young Lucy petted a yellow dog

: The dog is named Rover.
I understand that Rover is the yellow dog

: Who owns Rover?
clever Bill owns yellow Rover

: Who is smart?
yellow Rover is smart

: What was petted by a person?
smart yellow Rover was petted by young Lucy and a yellow cat was petted by John

: Lucy is sweet.
I understand that young Lucy is sweet

: Who loved her?
clever Bill loved sweet young Lucy

: Dogs are pets.
I understand that dogs are pets

: For every p and d if p is a person and d is a pet then p loves d.
I understand that for every d and p, if p is a person and d is a pet then p loves d

: Who loves a pet?
sweet young Lucy loves smart yellow Rover and clever Bill loves smart yellow Rover and John loves smart yellow Rover

: Tall Bob likes himself.
I understand that tall Bob likes tall Bob

: He dislikes John.
I understand that tall Bob dislikes John

: He hates him.
I understand that tall Bob hates John

: Bob saw a professor.
I understand that tall Bob saw a professor

: She is smart.
I understand that a professor is smart

: She likes him.
I understand that a smart professor likes tall Bob

: Lucy believes that John is rich.
I understand that sweet young Lucy believes that John is rich

: Who is rich?
I don't know.

: Lucy believes that John is old.
I understand that sweet young Lucy believes that rich John is old

: Lucy believes of Bill that he is stupid.
I understand that sweet young Lucy believes of clever Bill that he is stupid

: Lucy believes that she is rich.
I understand that sweet young Lucy believes that she* is rich