# Natural Language Toolkit: Semantic Interpretation
#
# Copyright (C) 2001-2009 NLTK Project
# Author: Ewan Klein <ewan@inf.ed.ac.uk>
# URL: <http://www.nltk.org/>
# For license information, see LICENSE.TXT

"""
This package contains classes for representing semantic structure in
formulas of first-order logic and for evaluating such formulas in
set-theoretic models.

"""

from util import *
from evaluate import *
from logic import *
from drt import *
from relextract import *
from chat80 import *

__all__ = [
    # Logic parsers
    'LogicParser', 'DrtParser',
    
    # Evaluation classes and methods
    'Valuation', 'Assignment', 'Model', 'Undefined', 'is_rel', 'set2rel', 'arity',
    
    # utility methods
    'text_parse', 'text_interpret', 'text_evaluate',
    'batch_parse', 'batch_interpret', 'batch_evaluate',
    'root_semrep',  
    'parse_valuation_line', 'parse_valuation', 'parse_logic', 'skolemize',

    # documentation
    'boolean_ops', 'equality_preds', 'binding_ops' 
    ]
