(= (abd-s $s1 $s2) (* $s1 $s2))(= (abd-c $s1 $c1 $s2 $c2) (* (* $s1 $s2) (* $c1 $c2)))
(= (bc-abd-att $s $class $min_pri (S $d)) (match &self (, (Implication (Inheritance $s $class) (Inheritance $s $consequent)) (TV (Inheritance $s $consequent) (stv $es $ec)) (TV (Implication (Inheritance $s $class) (Inheritance $s $consequent)) (stv $is $ic)) (Priority (Inheritance $s $consequent) $pri)) (found-abduction $class (stv (abd-s $es $is) (abd-c $es $ec $is $ic)) $pri)))
(Implication (Inheritance Tweety Bird) (Inheritance Tweety (IntSet Flies)))
(TV (Inheritance Tweety (IntSet Flies)) (stv 1.0 0.9))
(TV (Implication (Inheritance Tweety Bird) (Inheritance Tweety (IntSet Flies))) (stv 0.8 0.9))
(Priority (Inheritance Tweety (IntSet Flies)) 0.8)
!(bc-abd-att Tweety Bird 0.0 (S Z))
(= (bc-abd-att-filtered $s $class $min_pri (S $d)) (match &self (, (Implication (Inheritance $s $class) (Inheritance $s $consequent)) (TV (Inheritance $s $consequent) (stv $es $ec)) (TV (Implication (Inheritance $s $class) (Inheritance $s $consequent)) (stv $is $ic)) (Priority (Inheritance $s $consequent) $pri)) (if (> $pri $min_pri) (found-abduction $class (stv (abd-s $es $is) (abd-c $es $ec $is $ic)) $pri) (filtered-out $class $pri))))
!(bc-abd-att-filtered Tweety Bird 0.5 (S Z))
!(bc-abd-att-filtered Tweety Bird 0.9 (S Z))