Specification language ported to ANTLR