An attempt to develop a formalized model of how utterances signify, in terms of the formal language Koto which is based on functional grammar predication. Extensive use is made of notions such as situation, background relations between situations, the way situations are part of some world, etc.