Zaslat SMS: Learnability of quantified formulas