To Want

He wants a doughnut.

ToWant does not assert that something exists, or that a relation is valid.

It is one of a few relations that changes from propagating states to searching for states.

A true coming in on the To Want relation causes a search on its connected relation, but False for existence or validity does not invalidate the True on the ToWant - a returning True merely halts further searching, a False leaves the ToWant still true, and ready to search again if the False changes.