"The property that determines the individual that a has-value restriction refers to." . . . . . . "hasValue" . . .