Class AbstractDialecticalFrameworkReasoner