"A shortcut relationship that holds between two entities based on their identity criteria" . "logical macro assertion involving identity" . . .