burlap.mdp.core.oo.propositional