object/proper-name

Semantics:
[[m]] is the proposition that [[i]] is called by the proper name [[j]].

Example:
Something is named "John".
(build object #john proper-name (build lex "John"))