blockquote style="font-family: 'Times New Roman'; line-height: normal; font-size: medium;"><pre>user@foo.bar.com ~$ telnet foo.bar.com 3601
Trying 207.207.8.15...
Connected to foo.bar.com.
Escape character is '^]'.
(fi-find "Fido")
200 NIL
(fi-create "Fido")
200 #$Fido
(fi-find "Fido")
200 #$Fido
(fi-assert '(#$isa #$Fido #$Dog) #$BaseKB)
200 T
(fi-ask '(#$isa #$Fido ?COL) #$BaseKB nil 2)
200 (((?COL . #$Dog)) ((?COL . #$DomesticPet)))
(fi-continue-last-ask nil 2)
200 (((?COL . #$DomesticatedAnimal)) ((?COL