Neuro-Symbolic Reasoning in the Traffic Domain