code: def _add_to_reading_list(self, glueformula, reading_list):
      add_reading = True
      if self.remove_duplicates:
          for reading in reading_list:
              try:
                  if reading.equiv(glueformula.meaning, self.prover):
                      add_reading = False
                      break
              except Exception as e:
                  # if there is an exception, the syntax of the formula
                  # may not be understandable by the prover, so don't
                  # throw out the reading.
                  print(
                      "Error when checking logical equality of statements",
                      e,
                  )
  
      if add_reading:
          reading_list.append(glueformula.meaning)
  
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 5 for calling the Glue obj's underlying member method code with example usage: obj._add_to_reading_list(glueformula, reading_list) without return types