Closed MGlauer closed 8 months ago
The previous range definition was not (really) satisfiable. An intersection of concepts was used instead of a union. This PR fixes this axiom.
The previous range definition was not (really) satisfiable. An intersection of concepts was used instead of a union. This PR fixes this axiom.