].
interpretation "weight (global environment)" 'Weight G = (gw G).
(* Basic properties *********************************************************)
].
interpretation "weight (global environment)" 'Weight G = (gw G).
(* Basic properties *********************************************************)