Formalized output for solver for parsing.