Symbolic form and validity assessment