APPROVED Jeremy J. Carroll If prop belongs to owl:FunctionalProperty, and subject denotes a resource and has two outgoing prop arcs, then the objects of these arcs have the same denotation.