code: def _(expr):
      return [
          allargs(x, Q.positive(x), expr) >> Q.positive(expr),
          allargs(x, Q.negative(x), expr) >> Q.negative(expr),
          allargs(x, Q.real(x), expr) >> Q.real(expr),
          allargs(x, Q.rational(x), expr) >> Q.rational(expr),
          allargs(x, Q.integer(x), expr) >> Q.integer(expr),
          exactlyonearg(x, ~Q.integer(x), expr) >> ~Q.integer(expr),
      ]
  
imports: from collections import defaultdict
  from sympy.assumptions.ask import Q
  from sympy.core import Add, Mul, Pow, Number, NumberSymbol, Symbol
  from sympy.core.numbers import ImaginaryUnit
  from sympy.functions.elementary.complexes import Abs
  from sympy.logic.boolalg import Equivalent, And, Or, Implies
  from sympy.matrices.expressions import MatMul
label_desc: Use image node_id 5 for calling a global function with example usage: _(expr) and returns: list