Describir: Semantic Foundations of Reductive Reasoning.