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? |