code: def test_FactRules_parse2():
      raises(ValueError, lambda: FactRules("a -> !a"))
  
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 4 for calling a global function with example usage: test_FactRules_parse2() without return types