最小部分属性で解析し確定していくのも良い