AutomatedReasoningCheckImpossibleFinding
Indicates that no valid claims can be made due to logical contradictions in the premises or rules.
Contents
- contradictingRules
-
The automated reasoning policy rules that contradict the claims and/or premises in the input.
Type: Array of AutomatedReasoningCheckRule objects
Required: No
- logicWarning
-
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Type: AutomatedReasoningCheckLogicWarning object
Required: No
- translation
-
The logical translation of the input that this finding evaluates.
Type: AutomatedReasoningCheckTranslation object
Required: No
See Also
For more information about using this API in one of the language-specific AWS SDKs, see the following:
