reference denotation extension
reference%1:09:00:: denotation%1:09:00:: extension%1:09:00::
denotat
the most direct or specific meaning of a word or expression; the class of objects that an expression refers to
the extension of `satellite of Mars' is the set containing only Demos and Phobos