parsing always terms, and checking values at interpreting