mario.Database.change\_assumption
=================================

.. currentmodule:: mario

.. automethod:: Database.change_assumption
