A value specification is the specification of a (possibly empty) set of instances, including both objects and data values.

This content area is UNDER CONSTRUCTION or MIGRATION
randomness