Steffes, B. and Sasdelli, D. 2026. Catch the Platypus! Negated Conditionals as a Challenge for Machine Translation from Natural Language into Logical Formalisms Using Large Language Models. Journal of Computational Law and Legal Technology. (Mar. 2026), 1–7. DOI:https://doi.org/10.47852/bonviewJCLLT62029092.