拓扑推理

基于连接、包含、顺序等空间关系进行逻辑推导的能力