31. So we have to say that intermediate traces must be deleted at logical form so that they can avoid the ECP. 32. The "'logical form "'of a sentence ( or proposition or string that represents the same logical form in a given language. 33. If such an analysis were successful, it might allow a computer program to accurately translate natural language forms into logical form . 34. The "'logical form "'of a sentence ( or proposition or string that represents the same logical form in a given language. 35. The following argument is of the same logical form but with false premises and a false conclusion, and it is equally valid: 36. An argument in a formal language shows the logical form of the symbolically represented or natural language arguments obtained by its interpretations. 37. This approach requires more propositional axioms, and each equivalence between logical forms must be either an axiom or provable as a theorem. 38. A logical argument, seen as an ordered set of sentences, has a logical form that schemata or inferential structure of the argument. 39. At the end of a successful parse, the meaning ( Logical Form ( linguistics ) ) is extracted from the'meaning'features of Left Pole units. 40. Any program written in a logic programming language is a set of sentences in logical form , expressing facts and rules about some problem domain.