Approaching AI-explainability in symbolic AI