GNNAnatomy: Systematic Generation and Evaluation of Multi-Level Explanations for Graph Neural Networks