Package nltk :: Package sem :: Module glue :: Class GlueFormula

type GlueFormula

object --+
         |
        GlueFormula

Known Subclasses:

Instance Methods

__init__(self, meaning, glue, indices=None)

source code

applyto(self, arg)
self = (\x.(walk x), (subj -o f)) arg = (john , subj) returns ((walk john), f)

source code

make_VariableExpression(self, name)

source code

make_LambdaExpression(self, variable, term)

source code

lambda_abstract(self, other)

source code

compile(self, counter=None)
From Iddo Lev's PhD Dissertation p108-109

source code

simplify(self)

source code

__eq__(self, other)

source code

source code

source code

Method Details