Lang2Logic
