. . . . . "The property that determines the property that a self restriction refers to." . . "hasSelf" .