gistfile1.txt

        
        
    | x == A = e1
    | x == B = e2
    | predFunc(x) = e3
        
      case (case x of { C1 -> (Weight: 1000) A;
                        C2 -> (Weight: 1000) B;
                        C3 -> (Weight: 1000) e3; } ) of
            {
            A ->  (Weight: 10) e1;
            B -> (Weight: 0)  e2;
            }
            
    case x of { C1 -> (Weight: 333) -> KnownExtracted: (333 -> 100%) => Sum (keptWeights) = sumKept,
                                                                        Normalize in regards to KnownExtracted weights.
                                                                        -> Adds up to 100%.
                                                                        
                                                                     => 
                                                                        
                                                                         
                      case A of {
                        A ->  (Weight: 1000) e1;
                        B -> (Weight: 0)  e2;
                        _ -> 0: undefined
                        };
                C2 -> (Weight: 333) -> KnownExtracted: (333 -> 0%) 0% => Implies 0 weight
                      case B of {
                        A ->  (Weight: 1000) e1;
                        B -> (Weight: 0)  e2;
                        _ -> 0: undefined
                        };
                C3 -> (Weight: 333) -> KeepWeight: 333 -> Average of x => 50.
                      case e3 of {
                        A ->  (Weight: 1000) e1;
                        B -> (Weight: 0)  e2;
                        _ -> 0: undefined
                        };
        }
        
        
    case x of { C1 -> 70
                        
                C2 => 11
                
                C3 => 23
                
                C4 => ...
                ...
                
                Cn -> Avg[34] -> Unknown/Average/Max/Min/0
                        case e3 of {
                        A ->  (Weight: 1000) e1;
                        B -> (Weight: 0)  e2;
                        _ -> 0: undefined
                        };
                        
                Cn1-> Avg[34] -> Unknown/Average/Max/Min/0
                        case e3 of {
                        A ->  (Weight: 1000) e1;
                        B -> (Weight: 0)  e2;
                        _ -> 0: undefined
                        };
                        
                
        }