AutomatedReasoningCheckTranslationOption¶
Structure Class¶
dataclass
¶
Represents one possible logical interpretation of ambiguous input content.
Attributes¶
class-attribute
instance-attribute
¶
translations: list[AutomatedReasoningCheckTranslation] | None = None
Different logical interpretations that were detected during translation of the input.