Integrating Descriptions and Classification into a Predicate Calculus Framework