Describir: Aspects of a logical theory of assertion and inference.