import { Claim, ClaimResult, ComplexClaim, SimpleClaim } from "./Claim.js";
export type Presupposition<T> = Fact<T> | Situation<T>;
export declare class Fact<T> extends SimpleClaim<T> {
}
export declare class Situation<T> extends ComplexClaim<T> {
    private shouldValidate;
    evaluateSubsumedClaim(claim: Claim<T>, context: T): Promise<ClaimResult>;
}