Hi DozyWannabe,
or if an attempt is made to pull up that is sufficient to trigger it.
If the AOAs are frozen in their present position, then pulling up won't have any effect on the AOAs.
I still don't understand why a simple "big red button" was never designed to turn HAL off and restore control to the pilots. Turning off 2 ADRs, with the subsequent loss of one PFD's Altimeter and airspeed information, does not seem to be an ideal way to accomplish that simple effect.