nltk.TableauProver.is_atom

static TableauProver.is_atom(e)[source]