# This file was auto-generated by Fern from our API Definition.

from ..core.pydantic_utilities import UniversalBaseModel
import typing
import pydantic
from ..core.pydantic_utilities import IS_PYDANTIC_V2


class StatementValidation(UniversalBaseModel):
    """
    The validation status of a statement.
    """

    satisfiable: typing.Optional[bool] = pydantic.Field(default=None)
    """
    Whether the statement is satisfiable or not.
    """

    holds: typing.Optional[bool] = pydantic.Field(default=None)
    """
    Whether the statement holds or not.
    """

    message: typing.Optional[str] = pydantic.Field(default=None)
    """
    The feeedback message.
    """

    if IS_PYDANTIC_V2:
        model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2
    else:

        class Config:
            frozen = True
            smart_union = True
            extra = pydantic.Extra.allow
