Write event calculus axioms to describe the actions in the wumpus world.