Victor de Boer: A formalization of one of the main claims of "A linked data model for data scopes" by De Boer et al. 20211. Data Sci. 5(1): 75-78 (2022)