Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap