More precisely, let v (•) denote the mapping from constant-pairs and predicates to their corresponding embedding.
v rm is the embedding for predicate r m , and v (e i ,e j ) is the embedding for the pair of constants (e i , e j ).