A Symbolic Language for Interpreting Decision Trees