Describir: Truth and modality for knowledge representation / Raymond Turner.