#13 added haskey to allow OWL reasoners to infer that two positions are the same.