Interrogating a Relational Data File: Remarks on the Admissibility of Input Queries

... developing and implementing a theory of data retrieval for a computerized question-answering system in which the queries are represented as formulas of the predicate calculus and the database consists of atomic sentences.