A Theory of Truth and Semantic Representation · Study