7.2.3 定性时空推理