Package nltk :: Package sem :: Module cooper_storage :: Class CooperStore

type CooperStore

object --+
         |
        CooperStore

A container for handling quantifier ambiguity via Cooper storage.

Instance Methods

[hide private]

__init__(self, featstruct)

source code

iterator

_permute(self, lst)
Returns: An iterator over the permutations of the input list

source code

s_retrieve(self, trace=False)
Carry out S-Retrieval of binding operators in store.

source code

Method Details

[hide private]

init(self, featstruct)
(Constructor)

source code

Parameters:

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

Overrides: object.__init__

_permute(self, lst)

source code

Parameters:

lst (list)

Returns: iterator

An iterator over the permutations of the input list

s_retrieve(self, trace=False)

source code

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)

type CooperStore

__init__(self, featstruct) (Constructor)

_permute(self, lst)

s_retrieve(self, trace=False)

init(self, featstruct)
(Constructor)