+<p><b><Exp_Named_Subst></b>::= "{" [ [ [<<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> ] ":=" <Expression> ";" ]* [ [<<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> ] ":=" <Expression> ] ]? "}"</a>
+<a name="Alias">
+<p><b><Alias></b>::= "alias" <<a href="#Id">Id</a>> <<a href="#Uri">Uri</a>>
+<a name="Genid">
+<p><b><Genid></b>::= [ <<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> | <<a href="#Indtyuri">Indtyuri</a>> | <<a href="#Indconuri">Indconuri</a>> ] <<a href="#Exp_Named_Subst">Exp_Named_Subst</a>>
+<a name="Expr">
+<p><b><Expr></b>::= "\" <<a href="#Genid">Genid</a>> [ ":" | ":=" ] <<a href="#Expr">Expr</a>>"."<<a href="#Expr">Expr</a>>
+<br>
+::= "!" <<a href="#Genid">Genid</a>> ":" <<a href="#Expr">Expr</a>>"."<<a href="#Expr">Expr</a>>
+<br>
+::= <<a href="#Expr">Expr</a>>"->"<<a href="#Expr">Expr</a>>
+<br>
+::= "(" <<a href="#Expr">Expr</a>> ")" "->"<<a href="#Expr">Expr</a>>
+<br>
+::= "(" <<a href="#Expr">Expr</a>> [ " " <<a href="#Expr">Expr</a>>]* ")"
+<br>
+::= "Prop" | "Set" | "Type" | "?" | <<a href="#Uri">Uri</a>> | <<a href="#Id">Id</a>>