you'd have to construct that precondition yourself but it would ensure that the other rel exists and fail otherwise at write time