class documentation
class DrtGlueFormula(GlueFormula): (source)
Constructor: DrtGlueFormula(meaning, glue, indices)
Undocumented
Method | __init__ |
Undocumented |
Method | make_ |
Undocumented |
Method | make_ |
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 |
Undocumented |
Method | simplify |
Undocumented |