Describir: The logical framework