Describir: Learnability of quantified formulas