information about Propositional variable field