#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Jeremy J. Carroll
#
# Description: 
#
# <code>oneOf</code> <em>does not</em> indicate that the named
# individuals are distinct. Thus a consistent interpretation
# of this file is when all the individual names denote the
# same individual.
#
_:a rdf:type owl:Class .
_:b rdf:first first:caroline .
_:b rdf:rest rdf:nil .
_:b rdf:type rdf:List .
_:c rdf:first first:bob .
_:c rdf:rest _:b .
_:c rdf:type rdf:List .
_:d rdf:first first:amy .
_:d rdf:rest _:c .
_:d rdf:type rdf:List .
_:a owl:oneOf _:d .
_:e rdf:type owl:Class .
_:f rdf:first first:zebedee .
_:f rdf:rest rdf:nil .
_:f rdf:type rdf:List .
_:g rdf:first first:yolanda .
_:g rdf:rest _:f .
_:g rdf:type rdf:List .
_:e owl:oneOf _:g .
_:a owl:sameClassAs _:e .