Semantics: [[m]] is the proposition that [[i]] is related by relation [[k]] to [[j]].
Example: A brachet is next to a hound. (build object1 #brachet rel (build lex "next to") object2 #hound)