public LogicSolver(AccessibilityRelation relation)
{
this.relation = relation;
baseWorld = WorldService.GetNewWorldConstant();
relation.BaseWorld = baseWorld;
//Only used on reduced sequents
resolutionRule = new R1(relation);
// These are applied as long as sequents have unreduced formulas
rules.AddRange(new List <IInferenceRule>()
{
new R2(), new R3(), new R4(), new R5(), new R6(), new R7(WorldService), new R8(WorldService), new R9(TermNamer), new R10(TermNamer)
});
}
