类型:小前提