区间推理

interval reasoning