推理时扩展