findSubsumed e@(Exists n r) d = find (\x -> case x of Exists n2 r2 | r == r2 && n2 >= n -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Exists n r) d = find (\x -> case x of Exists n2 r2 | r == r2 && n2 >= n -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Exists n r) d = find (\x -> case x of Exists n2 r2 | r == r2 && n2 >= n -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d