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 **

(For more information, see the next page.)

Copyright © 2000 by William J. Rapaport (rapaport@cse.buffalo.edu)

file: cassie.conversation.new.17ap00.html