':param boxer_drs_interpreter: A class that converts from the
``AbstractBoxerDrs`` object hierarchy to a different object.  The
default is ``NltkDrtBoxerDrsInterpreter``, which converts to the NLTK
DRT hierarchy.
:param elimeq: When set to true, Boxer removes all equalities from the
DRSs and discourse referents standing in the equality relation are
unified, but only if this can be done in a meaning-preserving manner.
:param resolve: When set to true, Boxer will resolve all anaphoric DRSs and perform merge-reduction.
Resolution follows Van der Sandt\'s theory of binding and accommodation.'

def __init__(self, boxer_drs_interpreter=None, elimeq=False, bin_dir=None, verbose=False, resolve=True):

    if (boxer_drs_interpreter is None):
        boxer_drs_interpreter = NltkDrtBoxerDrsInterpreter()
    self._boxer_drs_interpreter = boxer_drs_interpreter
    self._resolve = resolve
    self._elimeq = elimeq
    self.set_bin_dir(bin_dir, verbose)
