結構化推理約束