Value Assertions

CodeLabelSeverity
dnb_v0001_mK000, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and (ex ...ERROR
dnb_v5001_mK401-1, c010, r130 : (K401-1 > 0) and (K401-1 <= 0.03)WARNING
dnb_v5002_mK401-1, c010, r160 : (K401-1 > 0) and (K401-1 <= 0.03)WARNING
dnb_v5003_mK401-1, c010 : if ({r140}=xs:QName('dnb_ftk_dom006:mem098')) then (exists({r150})) else if ({r140}=x ...ERROR
dnb_v5004_mK401-1, c010 : if ({r180}=xs:QName('dnb_ftk_dom006:mem098')) then (exists({r190})) else if ({r180}=x ...ERROR
dnb_v5005_mK401-1, c010 : if ({r200}=xs:QName('dnb_ftk_dom006:mem098')) then (exists({r210})) else if ({r200}=x ...ERROR
dnb_v5006_mK401-1, c010 : if ({r010}=xs:QName('dnb_ftk_dom006:mem099')) then ((exists({r020})) and (exists({r07 ...ERROR
dnb_v5007_mc*, K401-2 : {r010} = sum({r[060, 070, 080, 090, 100-130]})ERROR
dnb_v5008_mc*, K401-2 : {r050} = sum({r[010, 020, 030, 040]})ERROR
dnb_v5009_mK401-2, c010 : {r190} = sum({r[140-180]})ERROR
dnb_v5010_mK401-2, c010 : {r230} = sum({r[200-220]})ERROR
dnb_v5011_mK401-5, c010 : {r030} = sum({r[010, 020]})ERROR
dnb_v5012_mK401-5, c010 : {r060} = sum({r[040, 050]})ERROR
dnb_v5013_mK401-5, c010 : {r090} = sum({r[070, 080]})ERROR
dnb_v5014_mK401-5, c010 : {r210} = sum({r[170, 190, 200]}) - {r180}ERROR
dnb_v5015_mK401-5, c010 : {r260} = sum({r[070, 180]}) - sum({r[190, 250]})ERROR
dnb_v5016_mK401-5, c010 : {r270} = {r260} - {r240}ERROR
dnb_v5017_mK401-5, c010 : {r280} = {r080}ERROR
dnb_v5018_mK401-5, c010 : {r280} = sum({r[290-310]})ERROR
dnb_v5019_mK401-5, c010 : {r340} = {r320} div {r330}WARNING
dnb_v5020_m{K401-5, c010, r180} > 0ERROR
dnb_v5021_mif ({K401-1, c010, r010}=xs:QName('dnb_ftk_dom006:mem098')) then ((not(exists({K401-1, c010, r[020, ...ERROR
dnb_v5022_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem217')) then ((not(exists({K401-1, c010, r[030, ...ERROR
dnb_v5023_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem214')) then ((not(exists({K401-1, c010, r[040, ...ERROR
dnb_v5024_mc010 : {K401-5, r240} = sum({K401-2, r[050, 190, 230]}) + sum({K401-5, r[220, 230]})ERROR
dnb_v5025_mc010 : {K401-5, r240} = sum({K401-2, r[190, 230]}) + sum({K401-5, r[220, 230]})ERROR
dnb_v5026_m{K401-5, c010, r240} = {K401-2, c020, r050} + sum({K401-2, c010, r[190, 230]}) + sum({K401-5, c010, ...ERROR
dnb_v5027_m{K401-5, c010, r240} = {K401-2, c020, r050} + sum({K401-2, c010, r[190, 230]}) + sum({K401-5, c010, ...ERROR
dnb_v5028_mK401-1, c010 : if ({r020}=xs:QName('dnb_ftk_dom006:mem215')) then (not(exists({r030}))) else true()ERROR
dnb_v5029_mK401-1, c010 : if ({r020}=xs:QName('dnb_ftk_dom006:mem216')) then ((not(exists({r040}))) and (not(ex ...ERROR
dnb_v5030_mc010 : if ({K401-1, r070}=xs:QName('dnb_ftk_dom006:mem098')) then ((exists({K401-1, r080})) and (exi ...ERROR
dnb_v5031_mc010 : if ({K401-1, r090}=xs:QName('dnb_ftk_dom006:mem098')) then ((exists({K401-1, r100})) and (exi ...ERROR
dnb_v5032_mc010 : if ({K401-1, r110}=xs:QName('dnb_ftk_dom006:mem123')) then ({K401-5}(exists({r100})) and (exi ...ERROR
dnb_v5033_mc010 : if ({K401-1, r110}=xs:QName('dnb_ftk_dom006:mem122')) then ({K401-5}(exists({r110})) and (exi ...ERROR
dnb_v5034_mc010 : if ({K401-1, r110}=xs:QName('dnb_ftk_dom006:mem059')) then ({K401-5}(exists({r100})) and (exi ...ERROR
dnb_v5035_mc010 : if ({K401-1, r110}=xs:QName('dnb_ftk_dom006:mem012')) then (exists({K401-6, r070})) else true ...ERROR
dnb_v5036_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem214')) then ({K402}(not(exists({c020, r*}))) an ...ERROR
dnb_v5037_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem217')) then (not(exists({K402}{c010, r010}{c010 ...ERROR
dnb_v5038_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem215')) then ({K402}(exists({c010, r*})) and (no ...ERROR
dnb_v5039_mif ({K401-1, c010, r020}=xs:QName('dnb_ftk_dom006:mem216')) then ({K402, r010}(exists({c010})) and ( ...ERROR
dnb_v5040_mif (({K401-2, c010, r130}) > 0) then (exists({K401-3, c020, r, ftk_dim069:*})) else true()ERROR
dnb_v5041_mc020 : if (({K401-2, r130}) > 0) then (exists({K401-4, r, ftk_dim070:*})) else true()ERROR
dnb_v5042_mc010 : {K401-5, r320} = sum({K401-5, r[010, 040, 180]}) - sum({K401-5, r250}) - sum({K401-2, r[030 ...ERROR
dnb_v5043_mc010 : {K401-5, r330} = {K401-2, r010}ERROR
dnb_v5044_mc010 : if (exists({K401-2, r040})) then (exists({K401-6, r010})) else true()ERROR
dnb_v5045_mif (exists({K401-2, c020, r040})) then (exists({K401-6, c010, r010})) else true()ERROR
dnb_v5046_mc010 : if (exists({K401-2, r190})) then (exists({K401-6, r020})) else true()ERROR
dnb_v5047_mc010 : if (exists({K401-2, r230})) then (exists({K401-6, r030})) else true()ERROR
dnb_v5048_mc010 : if (sum({K401-2, r[080, 090, 130]}) > 0) then (exists({K401-6, r040})) else true()ERROR
dnb_v5049_mif (sum({K401-2, c020, r[080, 090, 130]}) > 0) then (exists({K401-6, c010, r050})) else true()ERROR
dnb_v5050_mc010 : if (exists({K401-5, r090})) then (exists({K401-6, r060})) else true()ERROR
dnb_v5051_mc010 : if (exists({K401-5, r210})) then (exists({K401-6, r080})) else true()ERROR
dnb_v5052_mc010 : if (exists({K401-5, r270})) then (exists({K401-6, r090})) else true()ERROR
dnb_v5053_mc010 : if (exists({K401-5, r310})) then (exists({K401-6, r100})) else true()ERROR
dnb_v5054_mc010 : if (exists({K401-5, r340})) then (exists({K401-6, r110})) else true()ERROR