有限类推造句