Class ModuleBasedAspicReasoner<T extends Invertable>