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

Open in new window