... unary¹

In fact, in many current domains, unary static facts have been replaced by types associated with variables.

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