Write out the axioms required for reasoning about the wumpus$$s location, using a

constant symbol Wumpus and a binary predicate In$($Wumpus$,$ Location$).$ Remember that

there is only one wumpus