Discrete math, Logic in CS

Wumpus World can be modeled with predicate logic formulas that are more concise than the propositional logic we used before. Whereas propositional logic necessitates a separate rule for each square, predicate logic just needs one formula to define the relationship between there being a breeze and a pit in an adjacent square.

a$)$ Using predicates for Breezy$(\_),$ Adjacent$(\_,\_)$ and Pit$(\_),$ and variables s and r to refer to squares, write the rule that relates breezes and pits.

b$)$ Given its current location, the agent can infer properties of the square from properties of its current percept. If the agent is at a square s at time t $($At$($Agent$,$ s$,$t$))$ and perceives a breeze $($Breeze$($t$))$ at time t$,$ then that square is breezy. Write the rule for this.