Abstract over the reasoning system used (part 1)