InverseFunctionalProperty

Question - We define a property fam:burriedAt such that two people can not be buried at the same location. We have some information about the burial place of a person called “Shakespeare” from two different sources. What can we infer?