3194	 A Non-heuristic Program for Proving Elementary Logical Theorems	 The paper discusses problems involved in designing a device capable of distinguishing among speech events that are normally recognized as different by native speakers of a particular language. Parallels between these problems and those of chemical analysis are pointed out.
