nltk.TableauProver.is_atom
==========================

.. currentmodule:: nltk

.. automethod:: TableauProver.is_atom