next up previous
Next: Two elaborations of the Up: The stuffy room scenario Previous: The stuffy room scenario

Telling stories using Occurs and Next


Another way of telling stories is to always use Occurs. An external event is axiomatized by asserting that it occurs.

The above story is then given by


We can also write the story more briefly as


Still more briefly


John McCarthy
Fri Feb 8 17:29:20 PST 2002