The clause "if c migrates from bearer d to another bearer e than [sic!] a copy
of b will be created in e" rules out the possibility of any generically
dependent continuants that can migrate from one IC to another, but can only
inhere in one IC at a time. The word ‘copy’ is too specific to
concretizations of ICEs. But there are other GDCs that are not ICEs.
Claims and obligations are GDCs (they are obviously depending on a bearer, but
they can migrate) that are concretized as roles (a subtype of specifically
dependent continuant, which is allowed here). If transfer ownership of my car
to another person, I do not copy that role where the copy now inheres in the
other person. Rather, my role is destroyed and a new ownership role is
created that inheres in the other person.
So ownership can only be concretized in one role at a time. There are no
copies.
Barry already put in a change in the sentence "Generically dependent
continuants, in contrast, can in a sense migrate, for example [previously
"namely", MB] through the process of exact copying which allows..."
Original issue reported on code.google.com by MBrochhausen@gmail.com on 8 Feb 2013 at 9:15
Original issue reported on code.google.com by
MBrochhausen@gmail.com
on 8 Feb 2013 at 9:15