I am indebted to Vladimir Lifschitz and Richmond Thomason for useful suggestions. Some of the prose is taken from (McCarthy 1987), but the examples are given more precisely in the present paper, since Daedalus allows no formulas.
The research reported here was partially supported by the Defense Advanced Research Projects Agency, Contract No. N00039-84-C-0211.