1.1.5

src/delete_processing/delete_processing.mfotl

-use(data,dataid,dsid) AND (NOT ONCE (ds_consent(dsid,data) OR legal_grounds(dsid,data)))
+LET delete_processing(data,dataid,dsid) = use(data,dataid,dsid) AND (NOT ONCE (ds_consent(dsid,data) OR legal_grounds(dsid,data))) IN
\ No newline at end of file
+delete_processing(data,dataid,dsid)
\ No newline at end of file

src/delete_publish/delete_publish.mfotl

-ds_deletion_request(data, dataid, dsid) AND ONCE share_with(p, dataid) AND NOT EVENTUALLY[0,30d] notify_proc(p,dataid) 
+LET ds_deletion_request(data,dataid,dsid,p) = ds_deletion_request(data, dataid, dsid) AND ONCE share_with(p, dataid) AND NOT EVENTUALLY[0,30d] notify_proc(p,dataid) IN
\ No newline at end of file
+ds_deletion_request(data,dataid,dsid,d)
\ No newline at end of file

src/right_to_object/right_to_object.mfotl

-LET right_to_object(data,dataid,dsid) = use(data,dataid,dsid) AND (ds_object(dsid,data) SINCE legal_grounds(dsid,data)) IN
+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
 right_to_object(data,dataid,dsid)
\ No newline at end of file