code: def allargs(symbol, fact, expr):
      """
      Apply all arguments of the expression to the fact structure.
  
      Parameters
      ==========
  
      symbol : Symbol
          A placeholder symbol.
  
      fact : Boolean
          Resulting ``Boolean`` expression.
  
      expr : Expr
  
      Examples
      ========
  
      >>> from sympy import Q
      >>> from sympy.assumptions.sathandlers import allargs
      >>> from sympy.abc import x, y
      >>> allargs(x, Q.negative(x) | Q.positive(x), x*y)
      (Q.negative(x) | Q.positive(x)) & (Q.negative(y) | Q.positive(y))
  
      """
      return And(*[fact.subs(symbol, arg) for arg in expr.args])
  
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 1 for calling a global function with example usage: allargs(symbol, fact, expr) and returns: And