Interface TEvaluablePremise

interface TEvaluablePremise {
    evaluate(
        assignment: TCoreExpressionAssignment,
        options?: {
            resolver?: (variableId: string) => boolean | null;
            strictUnknownKeys?: boolean;
        },
    ): TCorePremiseEvaluationResult;
    getChildExpressions(parentId: string): TCorePropositionalExpression[];
    getDecidableOperatorExpressions(): TCorePropositionalExpression[];
    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;
        }
    )[];
}