Comments from Jeff:

>The syntax for use in domain definitions is:
>
>  *    (REFINEMENT name pattern clause*)
>  *
>  *    name ::= symbol | string
>  *    pattern ::= (item*)
>  *    item ::= number | symbol | string | pattern | variable
>  *    variable ::= ?symbol
>  *    clause ::= (ISSUES issue*)
>  *            | (NODES node*)
>  *            | (ORDERINGS ordering*)
>  *            | (CONSTRAINTS constraint*)
>  *    issue ::= (ISSUE pattern)
>  *    node ::= (node-id pattern)
>  *    ordering ::= ({node-id | (node-id*)}*)
>  *    constraint ::= (WORLD-STATE CONDITION pattern = value)
>  *                |  (WORLD-STATE EFFECT pattern = value)
>  *    value ::= item
>
>
>-- Jeff