def p_QuantifiedExpr2(self, t):
'QuantifiedExpr : Quantifier NAME IN LCURLY FLWRexpr RCURLY SATISFIES LPAREN Where RPAREN'
t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
def p_QuantifiedExpr2(self, t):
'QuantifiedExpr : Quantifier NAME IN LCURLY FLWRexpr RCURLY SATISFIES LPAREN Where RPAREN'
t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
def p_QuantifiedExpr1(self, t):
'QuantifiedExpr : Quantifier NAME IN LANGLE Set RANGLE SATISFIES LPAREN Where RPAREN'
t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
def p_QuantifiedExpr1(self, t):
'QuantifiedExpr : Quantifier NAME IN LANGLE Set RANGLE SATISFIES LPAREN Where RPAREN'
t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])