All IBUKI documents (including RWW notes) use the notations of 

1) IBUKI Data to mention data
2) [sexp]s to mention logical expressions ([trm]s and [wff]s)
3) SEUS expressions to mention [program]s ...

These all use [sexp]s as described in IBUKI Data

Naming Conventions: All names as [symbol]s
recognizers - all caps or internal 'dash' followed by a '?'
              eg SYMBOL?
predicates -  all caps or internal 'dash' (not ending with a '?') 
              eg TAG-EQUAL
functions - all lower case or internal 'dash'
            eg |pair-get-car|
boolean constants - the value of the [symbol]s %TRUE %FALSE
system constants and parameters - [symbol]s beginning and ending with '%'
                 eg %...%
data constants - capitalized strings of characters or internal 'dash'
                 eg |Zero|, |Empty-List|

for each example of [type-name] < [symbol]
  ie, when (TYPE-EXAMPLE [type-name] [name])
  in any [context] where the notion of [name] is relavant
    the following [symbol]s 'come toghther'

  [name]            an [indconst], of sort TYPE-NAME? that names the type
  NAME?             a [sortsym] that names
                      a [recognizer] of examples of of the type
  #'NAME?           an [indconst] that names
                      a [program] that recognizes xamples of the type
                      this [program] is arttached to NAME?
  |name|            an [indconst] of sort TERM? (ie used for 'speaking')
                      that can be used in NL to mention the type