symbolic.parse\_proposition
===========================

.. currentmodule:: symbolic

.. autofunction:: parse_proposition