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
