sympy/sympy — pull request #1890 by placasse (2013-03-13 02:50:11+00:00)
Title: Bug in ask

With the new assumptions, AppliedPredicate now may be applied to expr, not only to symbols, so _extract_facts needs to look inside.