Frege's unsaturation analysis explains predicate meaning without positing ambiguity: 'eats' denotes ...
This proposition has not been edited since the history system was added.