Corrected content model of inner quantifier