Foundations of Symbolic Languages for Model Interpretability Marcelo Arenas 1,4, Daniel Baez