;; a simple fact document in KIF showing Tony's Specialty

(type TonysSpecialty SHELLFISH)