def is_indvar(expr):
    assert isinstance(expr, string_types), "%s is not a string" % expr
    return re.match(r'^[a-df-z]\d*$', expr) is not None
An individual variable must be a single lowercase character other than 'e',
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/is_indvar