, modifier: [UPDATE] GVL_Name := <GVL name [...] Specification: GVL
with the properties of toplevel [...] : [UPDATE] GVL_Name := <GVL name
of properties [...] the latter, all properties [...] variable list ( GVL