# Natural Language Toolkit: Semantic Interpretation
#
# Copyright (C) 2001-2007 University of Pennsylvania
# Author: Ewan Klein <ewan@inf.ed.ac.uk>
# URL: <http://nltk.sf.net>
# 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 evaluate import *
from logic import *
from utilities import *
