A semantics-based approach to the "no negative evidence" problem.

A semantics-based approach to the "no negative evidence" problem.