Towards a Theory of Comprehension of Declarative Contexts