parid0406 | Sat, 22 Feb 2003 21:00:12
The names of borrowed properties, assertion types and role types are not affected by being borrowed; each remains as defined in the definition of its TM Application of origin.
(delete?)
Seems to imply that the definitions are *not* included as their
entirely (semantics and all). Also, is there a rule for resolving name
clashes? Does there need to be?