From English to logic: Context-free computation of conventional logical translation