Definitions for "MapClosure"
An attribute indicating how the free variables falling within its scope (i.e. all child elements) are quantified. See attribute mapping for more details. Allowed values are "universal" and "existential". (See: connective module)