Interface TValidatablePremise

interface TValidatablePremise {
    getExpressions(): TCorePropositionalExpression[];
    getId(): string;
    getVariables(): (
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            symbol: string;
        }
        | {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundPremiseId: string;
            checksum: string;
            id: string;
            symbol: string;
        }
    )[];
    validate(): TInvariantValidationResult;
    validateEvaluability(): TCoreValidationResult;
}