The Language of Propositions and Events