Text this: A Logical Calculus of Meaning and Synonymy.