Hello, again. The draft of the Command Language (maybe scrubbed from my email of yesterday) is available at http://www.cs.uiowa.edu/~astump/papers/smt-cmd-lang.pdf Aaron