updated wumpus domain