Hi Linda
I have checked with the same coding and yes, the last line is appearing in blue (not sure why) but it works.
In your case, you are using CATS for AWTYP. Since your validation is only applicable for AWTYP <> CATS, hence its showing false, which is correct.
Your validation will kick in only why AWTYP is not CATS AND either of the conditions in brackets satisfy. then it will result in True, during simulations.
Check again and let us know.
Hope it helps
Regards
Mustafa