नियमाः

module      = "मण्डलम्" name "॥" { decl } ;

decl        = [ "सार्वजनिक" ] ( routine | var ) ;

routine     = "वृत्तिः" name
              [ "आदाय" params ]
              "ददाति" type
              "आदि" { stmt } "इति" ;

params      = param { "ऽ" param } ;
param       = name "ॱॱ" type ;

var         = "चरः" name "ॱॱ" type "भवति" expr "।" ;

stmt        = var
            | "प्रत्यागमनम्" expr "।"
            | "यदि" expr "आदि" { stmt }
              [ "अन्यथा" "आदि" { stmt } "इति" ] "इति"
            | "यावत्" expr "आदि" { stmt } "इति"
            | assign ;