;; Context-free control rules for inference rule-1
(ImplicationScopeLink (stv 0.5 0.0025)
(VariableList
(VariableNode "$T")
(TypedVariableLink
(VariableNode "$A")
(TypeNode "DontExecLink"))
(VariableNode "$L")
(TypedVariableLink
(VariableNode "$B")
(TypeNode "DontExecLink")))
(AndLink
(ExecutionLink
(SchemaNode "URE:BC:expand-and-BIT")
(ListLink
(VariableNode "$A")
(VariableNode "$L")
(DontExecLink (DefinedSchemaNode "rule-1")))
(VariableNode "$B"))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$A")
(VariableNode "$T"))))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$B")
(VariableNode "$T"))))
;; Context-sensitive control rules for inference rule-2
(ImplicationScopeLink (stv 1 0.001)
(VariableList
(VariableNode "$T")
(TypedVariableLink
(VariableNode "$A")
(TypeNode "DontExecLink"))
(VariableNode "$X")
(TypedVariableLink
(VariableNode "$B")
(TypeNode "DontExecLink")))
(AndLink
(ExecutionLink
(SchemaNode "URE:BC:expand-and-BIT")
(ListLink
(VariableNode "$A")
(InheritanceLink
(ConceptNode "a")
(VariableNode "$X"))
(DontExecLink (DefinedSchemaNode "rule-2")))
(VariableNode "$B"))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$A")
(VariableNode "$T"))))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$B")
(VariableNode "$T"))))
;; Context-sensitive control rules for inference rule-3
;; This time the context is on target of preproof-of
(ImplicationScopeLink (stv 1 0.005)
(VariableList
(VariableNode "$PM-10c3adf6-5785115b")
(TypedVariableLink
(VariableNode "$A")
(TypeNode "DontExecLink"))
(VariableNode "$PM-14f69aa8-45ab0d18")
(TypedVariableLink
(VariableNode "$B")
(TypeNode "DontExecLink")))
(AndLink
(ExecutionLink
(SchemaNode "URE:BC:expand-and-BIT")
(ListLink
(VariableNode "$A")
(InheritanceLink
(VariableNode "$PM-14f69aa8-45ab0d18")
(VariableNode "$PM-10c3adf6-5785115b"))
(DontExecLink
(DefinedSchemaNode "rule-3")))
(VariableNode "$B"))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$A")
(InheritanceLink
(ConceptNode "a")
(VariableNode "$PM-10c3adf6-5785115b")))))
(EvaluationLink
(PredicateNode "URE:BC:preproof-of")
(ListLink
(VariableNode "$B")
(InheritanceLink
(ConceptNode "a")
(VariableNode "$PM-10c3adf6-5785115b")))))