... follows¹

For simplicity we do not treat morphological alternations.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... rules:²

In this paper, we will not be concerned with the way in which default information percolates between the `in' and `out' categories. We thus assume that all equations are explicitly defined.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.