import { ArgumentParser } from "../../lib/parsing/argument-parser.js";
import type { TParsedArgument, TParsedClaim, TParsedPremise } from "../../lib/parsing/schemata.js";
import type { TBasicsArgument, TBasicsClaim, TBasicsPremise } from "./schemata.js";
import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../../lib/schemata/propositional.js";
export declare class BasicsArgumentParser extends ArgumentParser<TBasicsArgument, TBasicsPremise, TCorePropositionalExpression, TCorePropositionalVariable, TBasicsClaim> {
    constructor();
    protected mapArgument(parsed: TParsedArgument): Record<string, unknown>;
    protected mapClaim(parsed: TParsedClaim): Record<string, unknown>;
    protected mapPremise(parsed: TParsedPremise): Record<string, unknown>;
}
//# sourceMappingURL=argument-parser.d.ts.map