Defining function for arithmetic expressions
Hint: Here is one example

$A($ a1 - a2$, s) = minus(A($ a1$,s),A($ a2$,s))$

or alternatively

$A($ a1 - a2$) = \lambda s . minus(A($ a1$,s),A($ a2$,s))$

where $minus$ is the substraction in $\mathbb Z\cup\{\bot\}$