(7) a. b. Shimoyama assumes that the nominalizer no is interpreted as the function from a set to the maximality of the set, adopting Link's (1983) analysis of definite descriptions.
3 the denotation of IHRC is equivalent to English definite description 'the apples that Hanako peeled.'