Symbolic Graph Reasoning Meets Convolutions