class_docstr: Check properties of an ongoing discourse.
class_docstr_tok: ["Check","properties","of","an","ongoing","discourse","."]
code: def _check_consistency(self, threads, show=False, verbose=False):
      results = []
      for tid in sorted(threads):
          assumptions = [
              reading
              for (rid, reading) in self.expand_threads(
                  tid, threads=threads
              )
          ]
          assumptions = list(
              map(
                  self._reading_command.to_fol,
                  self._reading_command.process_thread(assumptions),
              )
          )
          if assumptions:
              assumptions += self._background
              # if Mace4 finds a model, it always seems to find it quickly
              mb = MaceCommand(None, assumptions, max_models=20)
              modelfound = mb.build_model()
          else:
              modelfound = False
          results.append((tid, modelfound))
          if show:
              spacer(80)
              print("Model for Discourse Thread %s" % tid)
              spacer(80)
              if verbose:
                  for a in assumptions:
                      print(a)
                  spacer(80)
              if modelfound:
                  print(mb.model(format="cooked"))
              else:
                  print("No model found!\n")
      return results
  
imports: import os
  from abc import ABCMeta, abstractmethod
  from functools import reduce
  from operator import add, and_
  from nltk.data import show_cfg
  from nltk.inference.mace import MaceCommand
  from nltk.inference.prover9 import Prover9Command
  from nltk.parse import load_parser
  from nltk.parse.malt import MaltParser
  from nltk.sem.drt import AnaphoraResolutionException, resolve_anaphora
  from nltk.sem.glue import DrtGlue
  from nltk.sem.logic import Expression
  from nltk.tag import RegexpTagger
label_desc: Use image node_id 13 for calling the DiscourseTester obj's underlying member method code with example usage: obj._check_consistency(threads, show, verbose) and returns: results