====== EBNF for Relision Language (RL) ======

<ebnf> "Relision Language (RL)" {

term = "^ROOT"
     | "ANY"
     | "_"
     | "NONE"
     | "true"
     | "false"
     | literal
     | map
     | product
     | variable
     | lambda
     | properties
     | list
     | object
     | "(" term ")"
     .
     
literal = symbol
        | string
        | number
        | bitstring
        .
        
map = term '=&gt;' term .

product = term "*" term .

variable = "$" symbol [ "[" term "]" ] .
        
lambda = term "-&gt;" term
       | term "-&gt;" term
       .
       
properties = "%" { [ "!" ] ( "A" | "C" | "I" | "D" | "B" )
                 | ( "A" | "C" | "I" ) [ "[" term "]" ]
                 | ( "D" | "B" | "E" ) "[" term "]"                 }
                 .
                 
list = properties "(" [term {"," term}] ")" .

object = "{:" term term ":}"
       | "{" term (symbol ":" term) "}"
       .

}  </ebnf>