Interpret: -> (semantic actions)