Exercise 7.34 [ss-axiom-exercise]

Section successor-state-section provides some of the successor-state axioms required for the wumpus world. Write down axioms for all remaining fluent symbols.