Lughet
›
›
→
many sorted predicate calculus — English to Uyghur Translation