ask: Fails to raise inconsistent assumptions exception when Q.positive([a matrix]) is an assumption

[TiloRC]

from sympy.abc import a
from sympy import ask, Q, MatrixSymbol
X = MatrixSymbol('X', 2, 2)

ask(Q.positive(X)) # returns False as expected as it doesn't make sense for a matrix to be positive

ask(Q.is_true(a),  (Q.is_true(a) & Q.positive(X))) # True instead of raising inconsistent assumptions exception 

ask((Q.positive(X) | Q.positive(a)) & ~Q.positive(a), Q.positive(X) & ~Q.positive(a)) # True instead of False

What's happening here is that satask doesn't think that Q.positive(X) is False but key(*args)._eval_ask(assumptions) does.