Propositional Representation Example