code: def demo():
      examples = [
          "John walks",
          "David sees Mary",
          "David eats a sandwich",
          "every man chases a dog",
          #                'every man believes a dog yawns',
          #                'John gives David a sandwich',
          "John chases himself",
          #                'John persuades David to order a pizza',
          #                'John tries to go',
          #                'John tries to find a unicorn',
          #                'John seems to vanish',
          #                'a unicorn seems to approach',
          #                'every big cat leaves',
          #                'every gray cat leaves',
          #                'every big gray cat leaves',
          #                'a former senator leaves',
          #                'John likes a cat',
          #                'John likes every cat',
          #                'he walks',
          #                'John walks and he leaves'
      ]
      DrtGlueDemo(examples).mainloop()
  
imports: from nltk.parse import MaltParser
  from nltk.sem.drt import DrsDrawer, DrtVariableExpression
  from nltk.sem.glue import DrtGlue
  from nltk.sem.logic import Variable
  from nltk.tag import RegexpTagger
  from nltk.util import in_idle
label_desc: Use image node_id 1 for calling a global function with example usage: demo() without return types