AutomatedReasoningCheckTranslationAmbiguousFinding¶
Structure Class¶
dataclass
¶
Indicates that the input has multiple valid logical interpretations, requiring additional context or clarification.
Attributes¶
class-attribute
instance-attribute
¶
difference_scenarios: list[AutomatedReasoningCheckScenario] | None = None
Scenarios showing how the different translation options differ in meaning.
class-attribute
instance-attribute
¶
options: list[AutomatedReasoningCheckTranslationOption] | None = None
Different logical interpretations that were detected during translation of the input.