showDefinition (And d1 d2) = showDefinition d1 ++ ", " ++ showDefinition d2
showDefinition (And d1 d2) = showDefinition d1 ++ ", " ++ showDefinition d2
showDefinition (And d1 d2) = showDefinition d1 ++ ", " ++ showDefinition d2