code: def parse_with_bindops(sentence, grammar=None, trace=0):
      """
      Use a grammar with Binding Operators to parse a sentence.
      """
      if not grammar:
          grammar = "grammars/book_grammars/storage.fcfg"
      parser = load_parser(
          grammar, trace=trace, chart_class=InstantiateVarsChart
      )
      # Parse the sentence.
      tokens = sentence.split()
      return list(parser.parse(tokens))
  
file_path: nltk/nltk/sem/cooper_storage.py
imports: from nltk.parse import load_parser
  from nltk.parse.featurechart import InstantiateVarsChart
  from nltk.sem.logic import ApplicationExpression, LambdaExpression, Variable
label_desc: Use image node_id 1 for calling a global function with example usage: parse_with_bindops(sentence, grammar, trace) and returns: list