ReDa team @ the CSL 2025 Workshop on Learning and Logic