  The first starts from the idea that what makes an expression specific to a certain domain or topic is its capacity to discriminate between different individuals. For example, the monadic predicate “is a horse”, the dyadic predicate “is taller than”, and the quantifier “every animal” all distinguish between Lucky Feet, on the one hand, and the Statue of Liberty, on the other: