def test_draw():
    try:
        from tkinter import Tk
    except __HOLE__:
        from nose import SkipTest
        raise SkipTest("tkinter is required, but it's not available.")

    expressions = [
            r'x',
            r'([],[])',
            r'([x],[])',
            r'([x],[man(x)])',

            r'([x,y],[sees(x,y)])',
            r'([x],[man(x), walks(x)])',
            r'\x.([],[man(x), walks(x)])',
            r'\x y.([],[sees(x,y)])',
            r'([],[(([],[walks(x)]) + ([],[runs(x)]))])',

            r'([x],[man(x), -([],[walks(x)])])',
            r'([],[(([x],[man(x)]) -> ([],[walks(x)]))])'
            ]

    for e in expressions:
        d = DrtExpression.fromstring(e)
        d.draw()
dataset/ETHPy150Open nltk/nltk/nltk/sem/drt.py/test_draw