Semantics and syntax by J. E. Miller | Lex | Lex