# from http://rdfweb.org/2001/01/design/smush.html
# see also: #rdfig 20 Jul 2001.

@prefix : <http://www.w3.org/2000/10/swapt/test/smush-schema#>.
@prefix v: <http://www.w3.org/2000/10/swapt/test/smush-schema#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.

@prefix log: <http://www.w3.org/2000/10/swap/log#>.


# :UniquelyIdentifyingProperty has since
#  been called daml+oil:UnambiguousProperty.
# but let's not mix DAML into this...

{  ?p a agg:UniquelyIdentifyingProperty. } log:implies
 { { ?x ?p ?z. ?y ?p ?z. } log:implies  { ?x = ?y } }.

agg:personalMailbox a agg:UniquelyIdentifyingProperty.
agg:personalHomepage a agg:UniquelyIdentifyingProperty.
agg:corporateHomepage a agg:UniquelyIdentifyingProperty.

