code: def demo(show_example=-1):
      from nltk.parse import MaltParser
  
      examples = [
          "David sees Mary",
          "David eats a sandwich",
          "every man chases a dog",
          "every man believes a dog sleeps",
          "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',
  
      print("============== DEMO ==============")
  
      tagger = RegexpTagger(
          [
              ("^(David|Mary|John)$", "NNP"),
              (
                  "^(sees|eats|chases|believes|gives|sleeps|chases|persuades|tries|seems|leaves)$",
                  "VB",
              ),
              ("^(go|order|vanish|find|approach)$", "VB"),
              ("^(a)$", "ex_quant"),
              ("^(every)$", "univ_quant"),
              ("^(sandwich|man|dog|pizza|unicorn|cat|senator)$", "NN"),
              ("^(big|gray|former)$", "JJ"),
              ("^(him|himself)$", "PRP"),
          ]
      )
  
      depparser = MaltParser(tagger=tagger)
      glue = Glue(depparser=depparser, verbose=False)
  
      for i, sentence in enumerate(examples):
          if i == show_example or show_example == -1:
              print(f"[[[Example {i}]]]  {sentence}")
              for reading in glue.parse_to_meaning(sentence.split()):
                  print(reading.simplify())
              print("")
  
imports: import os
  from itertools import chain
  import nltk
  from nltk.internals import Counter
  from nltk.sem import drt, linearlogic
  from nltk.sem.logic import AbstractVariableExpression, Expression, LambdaExpression, Variable, VariableExpression
  from nltk.tag import BigramTagger, RegexpTagger, TrigramTagger, UnigramTagger
label_desc: Use image node_id 1 for calling a global function with example usage: demo(show_example) without return types