Lughet
many sorted predicate calculus — English to Uyghur Translation | Lughet