3 <SCRIPT language="Javascript">
8 <p><b><Id></b>::=[ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]*</a>
10 <p><b><Uri></b>::=<<a href="#Conuri">Conuri</a>> | <<a href="#Varuri">Varuri</a>> | <<a href="#Indtyuri">Indtyuri</a>> | <<a href="#Indconuri">Indconuri</a>></a>
12 <p><b><Conuri></b>::="cic:/" [<<a href="#Id">Id</a> "/" ]*<<a href="#Id">Id</a>> ".con"</a>
14 <p><b><Varuri></b>::="cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".var"</a>
16 <p><b><Indtyuri></b>::="cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".ind#1/" ['0-9']+</a>
18 <p><b><Indconuri></b>::="cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".ind#1/" ['0-9']+ "/" ['0-9']+</a>
19 <a name="Exp_Named_Subst">
20 <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>