Quantifier constructor

Quantifier()