Реализация на Prolog

An algorithm for generating the possible quanti- fier scopings for a sentence, in order of preference, is outlined. The scoping assigned to a quantifier is determined by its interactions with …...

~:aditional accounts of quantifier scope em- ploy qualitative constraints or rules to account for scoping preferences. This paper outlines a feature-based parsing algorithm for a gram- mar with multiple simultaneous …...