Added parsing support for universally quantified formulas