Seol mar théacs é seo: Learnability of quantified formulas