Bring Structures and Symbols back to Knowledge Representation