classDiagram
    class Constraint {
        +value: str
        +operator: str
        +intersect(other)
        +union(other)
        +invert()
    }
    class ExtraConstraint {
        +intersect(other)
        +union(other)
    }
    class MultiConstraint {
        +OPERATORS: tuple
        +constraints: list
        +intersect(other)
        +union(other)
    }
    class ExtraMultiConstraint {
        +OPERATORS: tuple
        +intersect(other)
        +union(other)
    }
    Constraint <|-- ExtraConstraint
    MultiConstraint <|-- ExtraMultiConstraint
    note for ExtraConstraint "New class for handling extra markers"
    note for ExtraMultiConstraint "Specialized multi-constraint for extras"

classDiagram
    class SingleMarkerLike {
        +name: str
        +constraint: Constraint
        +validate(environment)
        +invert()
    }
    class AtomicMultiMarker {
        +complexity: tuple
        +validate(environment)
        +invert()
        +expand()
    }
    class AtomicMarkerUnion {
        +complexity: tuple
        +validate(environment)
        +invert()
        +expand()
    }
    SingleMarkerLike <|-- AtomicMultiMarker
    SingleMarkerLike <|-- AtomicMarkerUnion
    note for AtomicMultiMarker "Handles multiple marker constraints"
    note for AtomicMarkerUnion "Handles union of marker constraints"

flowchart TD
    A[Parse Extra Constraint] --> B{Constraint Type?}
    B -->|Single| C[ExtraConstraint]
    B -->|Multiple| D[ExtraMultiConstraint]
    C --> E{Operation?}
    D --> E
    E -->|Intersect| F[Handle Intersect]
    E -->|Union| G[Handle Union]
    F --> H[Return Result]
    G --> H