Value Assertions

CodeLabelSeverity
dnb_v0001_mK000, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and (ex ...WARNING
dnb_v1001_mM101, c010 : {r050} = sum({r[010, 020, 030, 040]}) div sum({r[010, 020, 030]})WARNING
dnb_v1002_m{M101, c010, r010} >= 0WARNING
dnb_v1003_m{M101, c010, r020} >= 0WARNING
dnb_v1004_m{M101, c010, r030} >= 0WARNING
dnb_v1005_mM101, c010 : if ({r010}(not(exists(M101))) or (M101 = 0)) then (exists({r070})) else true()WARNING
dnb_v1006_mM101, c010 : if ({r010} > 0) then (exists({r040})) else true()WARNING
dnb_v1007_mM101, c010 : if (exists({r050})) then (exists({r060})) else true()WARNING