These results indicate that we can reduce the development cost for constructing sub-goals.
there are still significant gaps between the correlation coefficients obtained using a fully automatic method and upper bounds.