Quantifier domain restriction, hidden variables and Variadic functions

The item or associated files might be "in copyright"; review the provided rights metadata: and the original context.

Original context