code: def test_FactRules_deduce_staticext():
      # verify that static beta-extensions deduction takes place
      f = FactRules(
          [
              "real  == neg | zero | pos",
              "neg   -> real & !zero & !pos",
              "pos   -> real & !zero & !neg",
              "nneg  == real & !neg",
              "npos  == real & !pos",
          ]
      )
  
      assert ("npos", True) in f.full_implications[("neg", True)]
      assert ("nneg", True) in f.full_implications[("pos", True)]
      assert ("nneg", True) in f.full_implications[("zero", True)]
      assert ("npos", True) in f.full_implications[("zero", True)]
  
file_path: sympy/sympy/core/tests/test_facts.py
imports: from sympy.core.facts import deduce_alpha_implications, apply_beta_to_alpha_route, rules_2prereq, FactRules, FactKB
  from sympy.core.logic import And, Not
  from sympy.testing.pytest import raises
label_desc: Use image node_id 10 for calling a global function with example usage: test_FactRules_deduce_staticext() without return types