"Did Lois know that Clark was Superman" problem

Seth Russell mentioned this problem in a recent email.  I'm not sure what the "problem" is supposed to be, but the identification of the concepts involved is very straightforward.  Expressed in KR (of course!)

    at view = Lois knows { Clark is Superman }

Now "Lois knows" is a named context, and we can ask any question we want to, e.g.

    Lois knows has truth-value = true ?
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition