Centro de Emprego IEFP Viana do Castelo. Tim Hortons YXE Airport. Wavmark watermarking software. Harnessing the power of Large Language Models for natural language to first-order logic Translation.