      Call the above basic possible world semantics.  Spelling     out the truth conditions for (6) (relative to the     intended interpretation of its language), basic     possible world semantics tells us that (6) is     true if and only if 