class documentation

Undocumented

Method __init__ Undocumented
Method make_LambdaExpression Undocumented
Method make_VariableExpression Undocumented
Instance Variable glue Undocumented
Instance Variable indices Undocumented
Instance Variable meaning Undocumented

Inherited from GlueFormula:

Method __eq__ Undocumented
Method __lt__ Undocumented
Method __ne__ Undocumented
Method __repr__ Undocumented
Method __str__ Undocumented
Method applyto self = (x.(walk x), (subj -o f)) arg = (john , subj) returns ((walk john), f)
Method compile From Iddo Lev's PhD Dissertation p108-109
Method lambda_abstract Undocumented
Method simplify Undocumented
def __init__(self, meaning, glue, indices=None): (source)

Undocumented

def make_LambdaExpression(self, variable, term): (source)
def make_VariableExpression(self, name): (source)