При каком типе правила срабатывают в случае, когда значение, возвращаемое функцией, заданной в при объявлении типа, становится истинным при том, что при предыдущем просмотре данного правила оно было ложным?