Value Assertions

CodeLabelSeverity
dnb_v0001_mK000, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and (ex ...WARNING
dnb_v8001_mAPF002, c010 : {r010} = sum({r[020, 030, 040]})WARNING
dnb_v8002_mAPF002, c010 : {r050} = sum({r[060, 070, 080, 090]})WARNING
dnb_v8003_mAPF002, c010 : {r100} = sum({r[110, 120]})WARNING
dnb_v8004_mAPF002, c010 : {r150} = sum({r[010, 050, 100, 130, 140]})WARNING
dnb_v8005_mAPF002, c010 : {r180} = sum({r[190-210]})WARNING
dnb_v8006_mAPF002, c010 : {r160} = sum({r[170, 180, 220]})WARNING
dnb_v8007_mAPF002, c010 : {r250} = sum({r[260-290]})WARNING
dnb_v8008_mAPF002, c010 : {r300} = sum({r[160, 230-250]})WARNING
dnb_v8009_mAPF002, c010 : {r150} = {r300}WARNING
dnb_v8010_mAPF003, c010 : {r010} = sum({r[020, 030, 040, 050]})WARNING
dnb_v8011_mAPF003, c010 : {r060} = sum({r[070, 080, 090]})WARNING
dnb_v8012_mAPF003, c010 : {r110} = sum({r[010, 060, 100]})WARNING
dnb_v8013_mAPF003, c010 : {r120} = sum({r[130-170]})WARNING
dnb_v8014_mAPF003, c010 : {r200} = sum({r[120, 180, 190]})WARNING
dnb_v8015_mAPF003, c010 : {r210} = {r110} - {r200}WARNING
dnb_v8016_mAPF004, c010 : {r030} = sum({r[040, 050]})WARNING
dnb_v8017_mAPF004, c010 : {r060} = sum({r[010, 020]}) - {r030}WARNING
dnb_v8018_m{APF004, c010, r030} >= 0WARNING
dnb_v8019_mAPF004, c010 : {r090} = sum({r[100-210]})WARNING
dnb_v8020_m{APF004, c010, r220} >= 0WARNING
dnb_v8021_mAPF004, c010 : {r230} = {r090} - {r220}WARNING
dnb_v8022_mAPF004, c010 : {r240} = {r060} - max({r[080, 230]})WARNING
dnb_v8023_mAPF004, c010 : if ({r070} <= 250000000) then ({r080} = 500000) else true()WARNING
dnb_v8024_mc010 : {APF002, r160} = {APF004, r010}WARNING
dnb_v8025_mc010 : {APF002, r100} = {APF004, r040}WARNING
dnb_v8026_mAPF004, c010 : {r080} = ({r070} - 250000000) * 0.003 + 500000WARNING
dnb_v8027_mAPF004, c010 : {r080} = ({r070} - 250000000) * 0.002 + 500000WARNING