Question $7$

Consider the following predicates and domains $($left implicit here$)$ for the variables:

Let $A(u)$ represent "User $u$ is active."

Let $S(n,x)$ represent "Network link $n$ is state $x.$

Translat$$ into predicate logic:

$"$If a user is active, at least one network link will be available."

$,$ available