Automatically evaluating explanations of GNN model predictions can significantly increase the adoption of GNN models and explainability solutions in real world applications. In this demo, we present a method to use GNN predictions and symbolic reasoners, to automatically evaluate the explanations from GNN explainability techniques.