Lughet
›
›
→
primitive logical formulas — English to Chinese Translation