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