added world, to hold propositional truth assignments
propositions are now registered with world