Thiago Raulino Dal Pont, Galileo Sartor, Adam Z. Wyner, Giovanni Sartor: You Take the High Road, and I'll Take the Low Road: Large Language Models Logical English and the Highway Code. ICAIL 2025: 337-347