SMS dit: Learnability of quantified formulas