Variable CorePropositionalExpressionSchemaConst

CorePropositionalExpressionSchema: TUnion<
    [
        TObject<
            {
                argumentId: TString;
                argumentVersion: TNumber;
                checksum: TString;
                combinedChecksum: TString;
                descendantChecksum: TUnion<[TString, TNull]>;
                id: TString;
                parentId: TUnion<[TString, TNull]>;
                position: TNumber;
                premiseId: TString;
                type: TLiteral<"variable">;
                variableId: TString;
            },
        >,
        TObject<
            {
                argumentId: TString;
                argumentVersion: TNumber;
                checksum: TString;
                combinedChecksum: TString;
                descendantChecksum: TUnion<[TString, TNull]>;
                id: TString;
                operator: TUnion<
                    [
                        TLiteral<"not">,
                        TLiteral<"and">,
                        TLiteral<"or">,
                        TLiteral<"implies">,
                        TLiteral<"iff">,
                    ],
                >;
                parentId: TUnion<[TString, TNull]>;
                position: TNumber;
                premiseId: TString;
                type: TLiteral<"operator">;
            },
        >,
        TObject<
            {
                argumentId: TString;
                argumentVersion: TNumber;
                checksum: TString;
                combinedChecksum: TString;
                descendantChecksum: TUnion<[TString, TNull]>;
                id: TString;
                parentId: TUnion<[TString, TNull]>;
                position: TNumber;
                premiseId: TString;
                type: TLiteral<"formula">;
            },
        >,
    ],
> = ...