def p_formula_forall(p):
'formula : LPAREN FORALL varlist RPAREN LPAREN formula RPAREN'
# print "8"
notnode = DRC("not")
notnode.set_children(p[6])
existsnode = p[3]
existsnode.set_type("exists")
existsnode.set_children(notnode)
p[0] = DRC("not")
p[0].set_children(existsnode)
