Values.GuardrailAutomatedReasoningTranslationSourceContains the logical translation of natural language input into formal logical statements, including premises, claims, and confidence scores.
type nonrec t = {premises : GuardrailAutomatedReasoningStatementList.t option;The logical statements that serve as the foundation or assumptions for the claims.
*)claims : GuardrailAutomatedReasoningStatementList.t option;The logical statements that are being validated against the premises and policy rules.
*)untranslatedPremises : GuardrailAutomatedReasoningInputTextReferenceList.t
option;References to portions of the original input text that correspond to the premises but could not be fully translated.
*)untranslatedClaims : GuardrailAutomatedReasoningInputTextReferenceList.t option;References to portions of the original input text that correspond to the claims but could not be fully translated.
*)confidence : GuardrailAutomatedReasoningTranslationConfidence.t option;A confidence score between 0 and 1 indicating how certain the system is about the logical translation.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Double of GuardrailAutomatedReasoningTranslationConfidence.t
| `List of
[> `Structure of
(string
* [> `String of
GuardrailAutomatedReasoningStatementLogicContent.t ])
list ]
list ])
list ]