added method to access a formula's propositions