Classify a proposition into a knowledge type.
The inferred knowledge type
The proposition to classify