code: def mark_alls_fresh(self):
      for u, _ in self.sets[Categories.ALL]:
          u._exhausted = False
  
imports: from nltk.inference.api import BaseProverCommand, Prover
  from nltk.internals import Counter
  from nltk.sem.logic import AbstractVariableExpression, AllExpression, AndExpression, ApplicationExpression, EqualityExpression, ExistsExpression, Expression, FunctionVariableExpression, IffExpression, ImpExpression, LambdaExpression, NegatedExpression, OrExpression, Variable, VariableExpression, unique_variable
label_desc: Use image node_id 9 for calling the Agenda obj's underlying member method code with example usage: obj.mark_alls_fresh() without return types