【推断几何约束】