Stav dette: Learnability of quantified formulas