Strategy interface for classifying propositions into knowledge types. Implementations can use different heuristics based on domain needs.
Classify a proposition into a knowledge type.