On the other hand, relational nouns must be defined as Skolem terms from the beginning (defined in the -terms).
the corresponding -terms contain free variables inside the terms, which cannot disappear throughout the interpretation process.