code: def get_all_known_matrix_facts():
      """
      Known facts between unary predicates for matrices as CNF clauses.
      """
      return {
          frozenset(
              (
                  Literal(Q.complex_elements, False),
                  Literal(Q.real_elements, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.diagonal, False),
                  Literal(Q.lower_triangular, True),
                  Literal(Q.upper_triangular, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.diagonal, True),
                  Literal(Q.lower_triangular, False),
              )
          ),
          frozenset(
              (Literal(Q.diagonal, True), Literal(Q.normal, False))
          ),
          frozenset(
              (Literal(Q.diagonal, True), Literal(Q.symmetric, False))
          ),
          frozenset(
              (
                  Literal(Q.diagonal, True),
                  Literal(Q.upper_triangular, False),
              )
          ),
          frozenset(
              (Literal(Q.fullrank, False), Literal(Q.invertible, True))
          ),
          frozenset(
              (
                  Literal(Q.fullrank, True),
                  Literal(Q.invertible, False),
                  Literal(Q.square, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.integer_elements, True),
                  Literal(Q.real_elements, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.invertible, False),
                  Literal(Q.positive_definite, True),
              )
          ),
          frozenset(
              (Literal(Q.invertible, False), Literal(Q.singular, False))
          ),
          frozenset(
              (Literal(Q.invertible, False), Literal(Q.unitary, True))
          ),
          frozenset(
              (Literal(Q.invertible, True), Literal(Q.singular, True))
          ),
          frozenset(
              (Literal(Q.invertible, True), Literal(Q.square, False))
          ),
          frozenset(
              (
                  Literal(Q.lower_triangular, False),
                  Literal(Q.triangular, True),
                  Literal(Q.upper_triangular, False),
              )
          ),
          frozenset(
              (
                  Literal(Q.lower_triangular, True),
                  Literal(Q.triangular, False),
              )
          ),
          frozenset(
              (Literal(Q.normal, False), Literal(Q.unitary, True))
          ),
          frozenset(
              (Literal(Q.normal, True), Literal(Q.square, False))
          ),
          frozenset(
              (
                  Literal(Q.orthogonal, False),
                  Literal(Q.real_elements, True),
                  Literal(Q.unitary, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.orthogonal, True),
                  Literal(Q.positive_definite, False),
              )
          ),
          frozenset(
              (Literal(Q.orthogonal, True), Literal(Q.unitary, False))
          ),
          frozenset(
              (Literal(Q.square, False), Literal(Q.symmetric, True))
          ),
          frozenset(
              (
                  Literal(Q.triangular, False),
                  Literal(Q.unit_triangular, True),
              )
          ),
          frozenset(
              (
                  Literal(Q.triangular, False),
                  Literal(Q.upper_triangular, 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 2 for calling a global function with example usage: get_all_known_matrix_facts() and returns: unknown