前提中既有关系判断也有性质判断而结论总是关系判断的推理。