findSubsumed e@(All rn c) d = find (\x -> case x of All rn2 c2 | rn == rn2 && isJust (findSubsumed c [c2]) -> True
                                                    And cs -> isJust $ findSubsumed e cs
                                                    _ -> False) d
findSubsumed e@(All rn c) d = find (\x -> case x of All rn2 c2 | rn == rn2 && isJust (findSubsumed c [c2]) -> True
                                                    And cs -> isJust $ findSubsumed e cs
                                                    _ -> False) d
findSubsumed e@(All rn c) d = find (\x -> case x of All rn2 c2 | rn == rn2 && isJust (findSubsumed c [c2]) -> True
                                                    And cs -> isJust $ findSubsumed e cs
                                                    _ -> False) d