5は1より大きい　なら主語+述語だろ
この5を任意に指定できるように　xは1より大きい　x => 1 < x
とすれば、この式は述語だけを取り出したものと考えられるわけだ