Combining Sub-Symbolic and Symbolic Methods for Explainability