def binding_ops():
    names =  ["existential", "universal", "lambda"]
    for pair in zip(names, [Tokens.EXISTS, Tokens.ALL, Tokens.LAMBDA]):
        print("%-15s\t%s" %  pair)
Binding operators
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/binding_ops