always [{emgcy_sensor} |=> {true; ns_light=001}!];