ambiguity attempto controlled english constructed language e-prime first-order logic gellish george orwell knowledge representation natural language processing newspeak ordnance survey semantic parameterization semantics of business vocabulary and business rules special english voice of america