AutomatedReasoningCheckTranslation (p.awso.0.9.1.doc.awso.bedrock.Awso_bedrock.Values.AutomatedReasoningCheckTranslation)

Sourcetype nonrec t = {

premises : AutomatedReasoningLogicStatementList.t option;
(*
The logical statements that serve as the foundation or assumptions for the claims.
*)
claims : AutomatedReasoningLogicStatementList.t option;
(*
The logical statements that are being validated against the premises and policy rules.
*)
untranslatedPremises : AutomatedReasoningCheckInputTextReferenceList.t option;
(*
References to portions of the original input text that correspond to the premises but could not be fully translated.
*)
untranslatedClaims : AutomatedReasoningCheckInputTextReferenceList.t option;
(*
References to portions of the original input text that correspond to the claims but could not be fully translated.
*)
confidence : AutomatedReasoningCheckTranslationConfidence.t option;
(*
A confidence score between 0 and 1 indicating how certain the system is about the logical translation.
*)

}

val make : 
  ?premises:??? ->
  ?claims:??? ->
  ?untranslatedPremises:??? ->
  ?untranslatedClaims:??? ->
  ?confidence:??? ->
  unit ->
  t

Source

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `Double of AutomatedReasoningCheckTranslationConfidence.t
          | `List of
            [> `Structure of
                 (string
                  * [> `String of AutomatedReasoningLogicStatementContent.t ])
                   list ]
              list ])
         list ]

Sourceval to_query : t -> Awso.Client.Query.t

Sourceval of_xml : Awso.Xml.t -> t

Sourceval of_string : string -> t

Sourceval of_json : Yojson.Safe.t -> t

Sourceval to_json : t -> Yojson.Safe.t