code: def get_all_known_number_facts():
      """
      Known facts between unary predicates for numbers as CNF clauses.
      """
      return {
          frozenset(
              (
                  Literal(Q.algebraic, False),
                  Literal(Q.imaginary, True),
                  Literal(Q.transcendental, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.algebraic, False),
                  Literal(Q.negative, True),
                  Literal(Q.transcendental, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.algebraic, False),
                  Literal(Q.positive, True),
                  Literal(Q.transcendental, False),
              )
          ),
          frozenset(
              (Literal(Q.algebraic, False), Literal(Q.rational, True))
          ),
          frozenset(
              (
                  Literal(Q.algebraic, False),
                  Literal(Q.transcendental, False),
                  Literal(Q.zero, True),
              )
          ),
          frozenset(
              (Literal(Q.algebraic, True), Literal(Q.finite, False))
          ),
          frozenset(
              (
                  Literal(Q.algebraic, True),
                  Literal(Q.transcendental, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.antihermitian, False),
                  Literal(Q.hermitian, False),
                  Literal(Q.zero, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.antihermitian, False),
                  Literal(Q.imaginary, True),
              )
          ),
          frozenset(
              (Literal(Q.commutative, False), Literal(Q.finite, True))
          ),
          frozenset(
              (Literal(Q.commutative, False), Literal(Q.infinite, True))
          ),
          frozenset(
              (
                  Literal(Q.composite, False),
                  Literal(Q.even, True),
                  Literal(Q.positive, True),
                  Literal(Q.prime, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.composite, True),
                  Literal(Q.even, False),
                  Literal(Q.odd, False),
              )
          ),
          frozenset(
              (Literal(Q.composite, True), Literal(Q.positive, False))
          ),
          frozenset(
              (Literal(Q.composite, True), Literal(Q.prime, True))
          ),
          frozenset(
              (
                  Literal(Q.even, False),
                  Literal(Q.odd, False),
                  Literal(Q.prime, True),
              )
          ),
          frozenset((Literal(Q.even, False), Literal(Q.zero, True))),
          frozenset((Literal(Q.even, True), Literal(Q.odd, True))),
          frozenset(
              (Literal(Q.even, True), Literal(Q.rational, False))
          ),
          frozenset(
              (
                  Literal(Q.finite, False),
                  Literal(Q.transcendental, True),
              )
          ),
          frozenset(
              (Literal(Q.finite, True), Literal(Q.infinite, True))
          ),
          frozenset(
              (Literal(Q.hermitian, False), Literal(Q.negative, True))
          ),
          frozenset(
              (Literal(Q.hermitian, False), Literal(Q.positive, True))
          ),
          frozenset(
              (Literal(Q.hermitian, False), Literal(Q.zero, True))
          ),
          frozenset(
              (Literal(Q.imaginary, True), Literal(Q.negative, True))
          ),
          frozenset(
              (Literal(Q.imaginary, True), Literal(Q.positive, True))
          ),
          frozenset(
              (Literal(Q.imaginary, True), Literal(Q.zero, True))
          ),
          frozenset(
              (
                  Literal(Q.infinite, False),
                  Literal(Q.negative_infinite, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.infinite, False),
                  Literal(Q.positive_infinite, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.irrational, False),
                  Literal(Q.negative, True),
                  Literal(Q.rational, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.irrational, False),
                  Literal(Q.positive, True),
                  Literal(Q.rational, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.irrational, False),
                  Literal(Q.rational, False),
                  Literal(Q.zero, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.irrational, True),
                  Literal(Q.negative, False),
                  Literal(Q.positive, False),
                  Literal(Q.zero, False),
              )
          ),
          frozenset(
              (Literal(Q.irrational, True), Literal(Q.rational, True))
          ),
          frozenset(
              (
                  Literal(Q.negative, False),
                  Literal(Q.positive, False),
                  Literal(Q.rational, True),
                  Literal(Q.zero, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.negative, True),
                  Literal(Q.negative_infinite, True),
              )
          ),
          frozenset(
              (Literal(Q.negative, True), Literal(Q.positive, True))
          ),
          frozenset(
              (
                  Literal(Q.negative, True),
                  Literal(Q.positive_infinite, True),
              )
          ),
          frozenset((Literal(Q.negative, True), Literal(Q.zero, True))),
          frozenset(
              (
                  Literal(Q.negative_infinite, True),
                  Literal(Q.positive, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.negative_infinite, True),
                  Literal(Q.positive_infinite, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.negative_infinite, True),
                  Literal(Q.zero, True),
              )
          ),
          frozenset((Literal(Q.odd, True), Literal(Q.rational, False))),
          frozenset(
              (Literal(Q.positive, False), Literal(Q.prime, True))
          ),
          frozenset(
              (
                  Literal(Q.positive, True),
                  Literal(Q.positive_infinite, True),
              )
          ),
          frozenset((Literal(Q.positive, True), Literal(Q.zero, True))),
          frozenset(
              (
                  Literal(Q.positive_infinite, True),
                  Literal(Q.zero, True),
              )
          ),
      }
  
imports: from sympy.assumptions.ask import Q
  from sympy.assumptions.cnf import Literal
  from sympy.core.cache import cacheit
label_desc: Use image node_id 3 for calling a global function with example usage: get_all_known_number_facts() and returns: unknown