Advancing Legal AI with Graph Neural Networks and Symbolic Logic