Does a Neural Network Really Encode Symbolic Concepts?