if that won't work (because the preconditions can't be specified well enough) then you could always write a lock relationship