showDefinition (Or d1 d2) = "(" ++ showDefinition d1 ++ "; " ++ showDefinition d2 ++ ")"
showDefinition (Or d1 d2) = "(" ++ showDefinition d1 ++ "; " ++ showDefinition d2 ++ ")"
showDefinition (Or d1 d2) = "(" ++ showDefinition d1 ++ "; " ++ showDefinition d2 ++ ")"