“其中 b 奶牛的高度一定大于等于 a奶牛的高度”