Lughet
›
›
→
first order predicate logic — English to Uyghur Translation