Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces