Footnote
The primitive
not
will be implemented in a later release of SDML, providing access to databases containing knowledge about things known to be false (see
footnote 2 on page 3
).