nltk.sem.cooper_storage.CooperStore

class documentation

class CooperStore(object): (source)

Constructor: CooperStore(featstruct)

A container for handling quantifier ambiguity via Cooper storage.

Method	`__init__`	No summary
Method	`s_retrieve`	Carry out S-Retrieval of binding operators in store. If hack=True, serialize the bindop and core as strings and reparse. Ugh.
Instance Variable	`core`	Undocumented
Instance Variable	`featstruct`	Undocumented
Instance Variable	`readings`	Undocumented
Instance Variable	`store`	Undocumented
Method	`_permute`	No summary

def __init__(self, featstruct): (source) ¶

Parameters
featstruct:FeatStruct (with features `core` and `store`)	The value of the `sem` node in a tree from `parse_with_bindops()`

def s_retrieve(self, trace=False): (source) ¶

Carry out S-Retrieval of binding operators in store. If hack=True, serialize the bindop and core as strings and reparse. Ugh.

Each permutation of the store (i.e. list of binding operators) is taken to be a possible scoping of quantifiers. We iterate through the binding operators in each permutation, and successively apply them to the current term, starting with the core semantic representation, working from the inside out.

Binding operators are of the form:

bo(\P.all x.(man(x) -> P(x)),z1)

core = (source) ¶

Undocumented

featstruct = (source) ¶

Undocumented

readings: list = (source) ¶

Undocumented

store = (source) ¶

Undocumented

def _permute(self, lst): (source) ¶

Parameters
lst:list	Undocumented
Returns
iter	An iterator over the permutations of the input list