109 def p_expr_or(p):  argument
111     p[0] = ("or", p[1], p[3])
113 def p_expr_and(p):  argument
115     p[0] = ("and", p[1], p[3])
117 def p_expr_not(p):  argument
119     p[0] = ("not", p[2])
121 def p_expr_parens(p):  argument
123     p[0] = p[2]
125 def p_expr_eval(p):  argument
134     p[0] = (p[2], p[1], p[3])
136 def p_expr_single(p):  argument
138     p[0] = ("exists", p[1])
140 def p_func(p):  argument
142     p[0] = [p[1]]
143     p[0].append(p[3])
145 def p_arg_intr_single(p):  argument
147     p[0] = [p[1]]
149 def p_arg_intr_mult(p):  argument
151     p[0] = copy.copy(p[1])
152     p[0].append(p[3])
154 def p_list(p):  argument
156     p[0] = p[2]
158 def p_list_intr_single(p):  argument
160     p[0] = [p[1]]
162 def p_list_intr_mult(p):  argument
164     p[0] = copy.copy(p[1])
165     p[0].append(p[3])
167 def p_const(p):  argument
170     p[0] = p[1]
172 def p_number(p):  argument
175     p[0] = p[1]
177 def p_error(p):  argument
178     if p:
179         raise SyntaxError("Unexpected token '%s'" % p.value)