Qualified Variables
Syntax
Qualified-Variables
=
Implicitly-Qualified-Variables
|
Explicitly-Qualified-Variables
|
Explicitly-Qualified-Variables
,
Implicitly-Qualified-Variables
.
Implicitly-Qualified-Variables
=
Variables
.
Explicitly-Qualified-Variables
=
Qualified-Segment
{
,
Qualified-Segment
} .
Qualified-Segment
=
Variables
Qualification
.
Variables
=
Variable-Identifier
{
,
Variable-Identifier
} .
Qualification
= (
being
|
be
)
Type-Expression
.
See also
Loci Declaration
Generalization
Existential Assumption
Choice Statement
Quantified Formula Expression
Home
|
Index of Syntax Items
Last modified: June 26, 2000