Value Assertions

CodeLabelSeverity
dnb_v0001_mK000, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and (ex ...WARNING
dnb_v7001_mc*, K501-1 : (exists({r340})) and (exists({r350})) and (exists({r360})) and (exists({r370})) and (ex ...WARNING
dnb_v7002_mK501-1, c010 : {r080} = sum({r[070, 170, 200, 230, 260, 280, 310, 320]})WARNING
dnb_v7003_mK501-1, c020 : {r080} = sum({r[070, 170, 200, 230, 260, 310, 320]})WARNING
dnb_v7004_mK501-1 : {c010, r080} = {c020, r070}WARNING
dnb_v7005_mK501-1 : {c010, r100} = {c020, r090}WARNING
dnb_v7006_mK501-1, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and ( ...WARNING
dnb_v7007_mK502-1 : ({c010, r020} = {c080, r010}) and ({c010, r030} = {c080, r020}) and ({c010, r040} = {c080, ...WARNING
dnb_v7008_mr[020, 030, 040, 050, 060, 070, 080, 090, 100, 110], K502-1 : {c080} = sum({c[010, 020, 030, 040, 06 ...WARNING
dnb_v7009_mK502-1, r010 : {c080} = sum({c[010, 020, 030, 040, 050, 060, 070]})WARNING
dnb_v7010_mc010 : if ({K501-1, r040}=xs:QName('dnb_ftk_dom006:mem098')) then ((exists({K501-1, r050})) and (exi ...WARNING
dnb_v7012_mc020 : if ({K501-1, r390}=xs:QName('dnb_ftk_dom006:mem098')) then (exists({K501-2, r110})) else true ...WARNING
dnb_v7014_mc* : if ({K501-1}(exists({r070})) and (exists({r080})) and (exists({r090})) and (exists({r100})) and ...WARNING
dnb_v7015_mc* : if ({K501-1}(exists({r150})) and (exists({r160})) and (exists({r170}))) then (exists({K501-2, r ...WARNING
dnb_v7016_mc* : if ({K501-1}(exists({r180})) and (exists({r190})) and (exists({r200}))) then (exists({K501-2, r ...WARNING
dnb_v7017_mc* : if ({K501-1}(exists({r210})) and (exists({r220})) and (exists({r230})) and (exists({r240})) and ...WARNING
dnb_v7018_mc010 : if ({K501-1}(exists({r270})) and (exists({r280}))) then (exists({K501-2, r070})) else true ()WARNING
dnb_v7019_mc* : if ({K501-1}(exists({r290})) and (exists({r300})) and exists({r310})) then (exists({K501-2, r08 ...WARNING
dnb_v7026_mc* : if (exists({K501-1, r320})) then (exists({K501-2, r090})) else true ()WARNING
dnb_v7028_mc010 : if (exists({K501-1, r020})) then (exists({K501-2, r010})) else true ()WARNING
dnb_v7029_m{K501-1, c010, r320} = {K502-1, c070, r010} {K501-1, c010, r310} = {K502-1, c060, r010} {K501-1, c01 ...WARNING
dnb_v7046_mif ({K501-1, c010, r060}=xs:QName('dnb_ftk_dom006:mem098')) then (not(exists({K502-2}{c010, r010}{c0 ...WARNING
dnb_v7047_mif ({K501-1, c010, r060}=xs:QName('dnb_ftk_dom006:mem099')) then (exists({K502-2}{c010, r010}{c010, ...WARNING
dnb_v7048_mc[010, 020, 030, 040, 050, 060, 070, 080], r010 : {K502-1} = {K502-2}WARNING
dnb_v7049_mr*, K502-2 : {c080} = sum({c[010, 020, 030, 040, 060, 070]})WARNING
dnb_v7059_mK502-2 : ({c010, r020} = {c080, r010}) and ({c010, r030} = {c080, r020}) and ({c010, r040} = {c080, ...WARNING
dnb_v7069_mc010 : if ({K501-1}({r340}=xs:QName('dnb_ftk_dom006:mem099')) and ({r350}=xs:QName('dnb_ftk_dom006:m ...WARNING
dnb_v7070_mK501-1, c010 : if (exists({r270})) then (exists({r280})) else true()WARNING