Harry, > The language manual presents a good language parser tree, but how to > use even basic parts such as "IF... ELSE", "For", etc have not explicatly > stated. OK. We'll have to improve those descriptions. How about the tutorial: http://www.csl.sri.com/users/rushby/abstracts/om1 ? John