propositional_network