(predicate, expr, assumptions)
return ask(predicate(expr.parent), assumptions)
Matrix Slice elements
Matrix Slice elements
Matrix Slice elements
def MS_elements(predicate, expr, assumptions):
    """ Matrix Slice elements """
    return ask(predicate(expr.parent), assumptions)
def MS_elements ( predicate , expr , assumptions ) : return ask ( predicate ( expr . parent ) , assumptions )