Quotient data added; Quanitifer DSL forAll(..) exists(..)