Lughet
recursively axiomatizable — English to Uyghur Translation | Lughet