docstr: Replace every binding
  
  :param bindings: A list of tuples mapping Variable Expressions to the
      Expressions to which they are bound.
  :return: ``Clause``
docstr_tok: ["Replace","every","binding",":","param","bindings",":","A","list","of","tuples","mapping","Variable","Expressions","to","the","Expressions","to","which","they","are","bound",".",":","return",":","``","Clause","``"]
code: def substitute_bindings(self, bindings):
      """
      Replace every binding
  
      :param bindings: A list of tuples mapping Variable Expressions to the
          Expressions to which they are bound.
      :return: ``Clause``
      """
      return Clause(
          [atom.substitute_bindings(bindings) for atom in self]
      )
  
imports: import operator
  from collections import defaultdict
  from functools import reduce
  from nltk.inference.api import BaseProverCommand, Prover
  from nltk.sem import skolemize
  from nltk.sem.logic import AndExpression, ApplicationExpression, EqualityExpression, Expression, IndividualVariableExpression, NegatedExpression, OrExpression, Variable, VariableExpression, is_indvar, unique_variable
label_desc: Use image node_id 11 for calling the Clause obj's underlying member method code with example usage: obj.substitute_bindings(bindings) and returns: Clause