Interpreting the Symbols and Types