发送短信: Learnability of quantified formulas