A class of formulas of the first-order predicate calculus--the definite formulas--have recently been proposed as formal representations of "reasonable" questions to be processed by an actual data retrieval system known as the Relational Data File (se...