Формула EXISTSFORALLANYHAVING var (form) : true если в области определения переменной var найдется хотя бы одно значение (кортеж), для которого WFF form принимает значение true.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.