John hou2 lek1 . BOB lek1 GWO3 keoi5 tim1 .
John very smart Bob smart COMP him SFP
John is smart. Bob is even smarter.’ Existential presupposition: there is a contextually salient individual y such that y ≠ Bob and y possesses smartness to a certain degree Scalar presupposition: the degree to which y is smart is smaller than that of x (which is trivially verified given (13)).