Очевидно, что выражение close-ATR*LstopF в логической формуле не имеет выходного значения false или true.