Variable ParsedArgumentResponseSchemaConst

ParsedArgumentResponseSchema: TObject<
    {
        argument: TUnion<
            [
                TObject<
                    {
                        claims: TArray<
                            TObject<
                                {
                                    miniId: TString;
                                    role: TUnion<[(...), (...), (...)]>;
                                    type: TUnion<[(...), (...), (...)]>;
                                },
                            >,
                        >;
                        conclusionPremiseMiniId: TString;
                        premises: TArray<TObject<{ formula: TString; miniId: TString }>>;
                        variables: TArray<
                            TObject<
                                { claimMiniId: TString; miniId: TString; symbol: TString },
                            >,
                        >;
                    },
                >,
                TNull,
            ],
        >;
        failureText: TUnion<[TString, TNull]>;
        selectionRationale: TUnion<[TString, TNull]>;
        uncategorizedText: TUnion<[TString, TNull]>;
    },
> = ...