构建法律推理中的小前提