synonym/synonym

Semantics:
[[m]] is the proposition that [[i]] and [[j]] are synonyms.

Example:
"Small" and "little" are synonyms.
(assert synonym (build lex "small") synonym (build lex "little"))