A propositional language for text representation