-- ============= --
-- normalization --
-- ============= --
flatten :: [Concept] -> [Concept]
flatten (And concepts:xs) = concepts ++ flatten xs
flatten :: [Concept] -> [Concept]
flatten (And concepts:xs) = concepts ++ flatten xs
flatten (And concepts:xs) = concepts ++ flatten xs