ulkb.Theory.args\_no\_prelude
=============================

.. currentmodule:: ulkb

.. autoproperty:: Theory.args_no_prelude