'Hesperus' and 'Phosphorus' can be analyzed via distinct complex predicates ('E(x) ∧ S(x)' and 'M(x)...