right_to_object.mfotl 173 Bytes
Newer Older
gartur's avatar
1.1.5    
gartur committed
1
LET right_to_object(data,dataid,dsid) = use(data,dataid,dsid) AND (NOT ((NOT ds_object(dsid,data)) SINCE[0,*) legal_grounds(dsid,data))) IN
gartur's avatar
1.0.0  
gartur committed
2
right_to_object(data,dataid,dsid)