Package nltk_lite :: Package semantics :: Module logic :: Class SomeExpression
[hide private]
[frames] | no frames]

Class SomeExpression

source code

          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          SomeExpression

An existential quantification expression: some x.M.

Instance Methods [hide private]
 
_skolemise(self, bound_vars, counter) source code
 
__repr__(self) source code

Inherited from VariableBinderExpression: __hash__, __init__, __str__, alpha_convert, equals, free, infixify, replace, simplify, subterms, variables

Inherited from VariableBinderExpression (private): _relabel

Inherited from Expression: __eq__, __ne__, skolemise

Class Variables [hide private]
  PREFIX = 'some '

Inherited from VariableBinderExpression (private): _counter

Method Details [hide private]

_skolemise(self, bound_vars, counter)

source code 
Overrides: Expression._skolemise

__repr__(self)
(Representation operator)

source code 
Overrides: Expression.__repr__