ontains an importing expression '(imports c C-place)'
    * the ontology A also contains an importing expression '(imports c2
C-place)'
    * the relation named 'r' is used in the C ontology
Now
    * in B this relation is referred to by the name 'c#r'
But
    * in A is this relation referred to by the name 'b#c#r' or by the name
'c2#r'?
Often (always?), A will want these two names to refer to the same relation.
Should there be either automatic or manual means for making these two names
synonymous (equivale