does samePropertyAs entail...?

In DAML:

if there is a property P1 whose domain is class C1 and range is class C2

and there is a property P2 whose domain is class C3 and range is class
C4
and there is a statement that P1 is the samePropertyAs P2,

does it follow that C1 is the sameClassAs C3 and C2 is the sameClassAs
C4, or does it just add a new class to the domain and range of each of
the properties? Or neither one?

Steven Gollery
sgollery@cadrc.calpoly.edu

Received on Wednesday, 27 August 2003 13:42:40 UTC