Enriching Disentanglement: From Logical Definitions to Quantitative Metrics | Read Paper on Bytez