Value Assertions

CodeLabelSeverity
boe_boe_b1073_sboe_b1073_s: [SR 808.01.08 (r040-050), (c010-040)] {SR 808.01.08} >= 0ERROR
boe_boe_b1074_sboe_b1074_s: [SR 808.01.08 (r060-230), (c010-040)] {SR 808.01.08} >= 0ERROR
boe_boe_b1075_mboe_b1075_m: [SR 808.01.08 (c010)] {r250} >= {r260}ERROR
boe_boe_b1076_mboe_b1076_m: [SR 808.01.08 (c010)] {r270} >= {r280}ERROR
boe_boe_b1077_mboe_b1077_m: [SR 808.01.08 (c010)] {r290} >= {r300}ERROR
boe_boe_b1078_mboe_b1078_m: [SR 808.01.08 (c010)] {r310} >= {r320}ERROR
boe_boe_b1079_mboe_b1079_m: [SR 808.01.08 (c010)] {r330} >= {r340}ERROR
boe_boe_b1080_mboe_b1080_m: [SR 808.01.08 (c010)] {r350} >= {r360}ERROR
boe_boe_b1081_mboe_b1081_m: [SR 808.01.08 (c010)] {r370} >= {r380}ERROR
boe_boe_b1082_mboe_b1082_m: [SR 808.01.08 (c010)] {r390} >= {r400}ERROR
boe_boe_b1083_mboe_b1083_m: [SR 808.01.08 (c010)] {r410} >= {r420}ERROR
boe_boe_b1084_mboe_b1084_m: [SR 808.01.08 (c010)] {r240} = +{r250}+{r270}+{r290}+{r310}+{r330}+{r350}+{r370}+{r390} ...ERROR
boe_boe_b1085_mboe_b1085_m: [SR 808.02.08 (c010-040)] {r150} = sum(r060-r140)ERROR
boe_boe_b1086_sboe_b1086_s: [SR 808.02.08 (r060-150), (c010-040)] {SR 808.02.08} >= 0ERROR
boe_boe_b1087_mboe_b1087_m: [SR 808.02.08 (r060-150)] {c020} >= {c010}ERROR
boe_boe_b1088_mboe_b1088_m: [SR 808.02.08 (r060-150)] {c040} >= {c030}ERROR
boe_boe_b1089_mboe_b1089_m: [SR 808.02.08 (r160-190)] {c020} >= {c010}ERROR
boe_boe_b1090_mboe_b1090_m: [SR 808.02.08 (r200-230)] {c020} >= {c010}ERROR
boe_boe_b1091_mboe_b1091_m: [SR 808.02.08 (r240-260)] {c020} >= {c010}ERROR
boe_boe_b1092_mboe_b1092_m: [SR 808.02.08 (r270-300)] {c020} >= {c010}ERROR
boe_boe_b1093_sboe_b1093_s: [SR 808.02.08 (r160-190), (c010-020)] {SR 808.02.08} >= 0ERROR
boe_boe_b1094_sboe_b1094_s: [SR 808.02.08 (r200-230), (c010-020)] {SR 808.02.08} >= 0ERROR
boe_boe_b1095_sboe_b1095_s: [SR 808.02.08 (r240-260), (c010-020)] {SR 808.02.08} >= 0ERROR
boe_boe_b1096_sboe_b1096_s: [SR 808.02.08 (r270-300), (c010-020)] {SR 808.02.08} >= 0ERROR
boe_boe_b1097_sboe_b1097_s: [SR 808.03.08 (All rows), (c010-030)] {SR 808.03.08} >= 0ERROR
boe_boe_b1099_sboe_b1099_s: [SR 808.04.08 (All rows), (c020)] {SR 808.04.08} >= 0ERROR
boe_boe_b1101_sboe_b1101_s: [SR 808.05.08 (All rows), (c030)] {SR 808.05.08} >= 0ERROR
boe_boe_b1102_sboe_b1102_s: [SR 808.05.08 (All rows), (c040)] {SR 808.05.08} >= 0ERROR
boe_boe_b1103_sboe_b1103_s: [SR 808.06.08 (r020-100), (c010-040)] {SR 808.06.08} >= 0ERROR
boe_boe_b1104_sboe_b1104_s: [SR 808.06.08 (r110-160), (c010)] {SR 808.06.08} >= 0ERROR
boe_boe_b1105_sboe_b1105_s: [SR 808.06.08 (r170-180), (c010)] {SR 808.06.08} >= 0ERROR
boe_boe_b1106_mboe_b1106_m: [SR 808.07.08 (c010-020)] {r040} = sum(r010-r030)ERROR
boe_boe_b1107_sboe_b1107_s: [SR 808.07.08 (r010-040), (c010-020)] {SR 808.07.08} >= 0ERROR
boe_boe_b1109_sboe_b1109_s: [SR 808.08.08 (All rows), (c020)] {SR 808.08.08} >= 0ERROR
boe_boe_b1111_sboe_b1111_s: [SR 808.09.08 (All rows), (c020)] {SR 808.09.08} >= 0ERROR
boe_boe_b1112_aboe_b1112_a: [SR 808.01.08 (r010) (c010)] [ei6021] ∈ {[boe_SR:x6001], [boe_SR:x6002]}ERROR
boe_boe_b1113_aboe_b1113_a: [SR 808.01.08 (r020), (c010)] [ei6022] ∈ {[boe_SR:x6003], [boe_SR:x6004]}ERROR
boe_boe_b1114_aboe_b1114_a: [SR 808.01.08 (r030), (c010)] [ei6023] ∈ {[boe_SR:x6005], [boe_SR:x6006]}ERROR
boe_boe_b1115_aboe_b1115_a: [SR 808.02.08 (r010), (c010)] [ei6024] ∈ {[boe_SR:x6007], [boe_SR:x6008]}ERROR
boe_boe_b1116_aboe_b1116_a: [SR 808.02.08 (r020), (c010)] [ei6025] ∈ {[boe_SR:x6009], [boe_SR:x6010]}ERROR
boe_boe_b1117_aboe_b1117_a: [SR 808.02.08 (r030), (c010)] [ei6026] ∈ {[boe_SR:x6011], [boe_SR:x6012]}ERROR
boe_boe_b1118_aboe_b1118_a: [SR 808.02.08 (r040), (c010)] [ei6027] ∈ {[boe_SR:x6013], [boe_SR:x6014]}ERROR
boe_boe_b1119_aboe_b1119_a: [SR 808.02.08 (r050), (c010)] [ei6028] ∈ {[boe_SR:x6015], [boe_SR:x6016]}ERROR
boe_boe_b1120_aboe_b1120_a: [SR 808.03.08 (r010), (c010)] [ei6029] ∈ {[boe_SR:x6017], [boe_SR:x6018]}ERROR
boe_boe_b1121_aboe_b1121_a: [SR 808.04.08 (r010), (c010)] [ei6030] ∈ {[boe_SR:x6019], [boe_SR:x6020]}ERROR
boe_boe_b1122_aboe_b1122_a: [SR 808.05.08 (r010), (c010)] [ei6031] ∈ {[boe_SR:x6021], [boe_SR:x6022]}ERROR
boe_boe_b1123_aboe_b1123_a: [SR 808.06.08 (r010), (c010)] [ei6032] ∈ {[boe_SR:x6023], [boe_SR:x6024]}ERROR
boe_boe_b1124_aboe_b1124_a: [SR 808.07.08 (r010), (c010)] [ei6033] ∈ {[boe_SR:x6025], [boe_SR:x6026]}ERROR
boe_boe_b1125_aboe_b1125_a: [SR 808.08.08 (r010), (c010)] [ei6034] ∈ {[boe_SR:x6027], [boe_SR:x6028]}ERROR
boe_boe_b1126_aboe_b1126_a: [SR 808.09.08 (r010), (c010)] [ei6035] ∈ {[boe_SR:x6029], [boe_SR:x6030]}ERROR
boe_boe_b1133_mboe_b1133_m: [SR 808.01.08] ({SR 808.01.08, r010, c010} = [boe_SR:x6001] and empty({SR 808.01.08, r0 ...ERROR
boe_boe_b1134_mboe_b1134_m: [SR 808.01.08] ({SR 808.01.08, r020, c010} = [boe_SR:x6003] and empty({SR 808.01.08, r0 ...ERROR
boe_boe_b1135_mboe_b1135_m: [SR 808.01.08] ({SR 808.01.08, r030, c010} = [boe_SR:x6005] and empty({SR 808.01.08, r2 ...ERROR
boe_boe_b1136_mboe_b1136_m: [SR 808.02.08] ({SR 808.02.08, r010, c010} = [boe_SR:x6007] and empty({SR 808.02.08, r0 ...ERROR
boe_boe_b1137_mboe_b1137_m: [SR 808.02.08] ({SR 808.02.08, r020, c010} = [boe_SR:x6009] and empty({SR 808.02.08, r1 ...ERROR
boe_boe_b1138_mboe_b1138_m: [SR 808.02.08] ({SR 808.02.08, r030, c010} = [boe_SR:x6011] and empty({SR 808.02.08, r2 ...ERROR
boe_boe_b1139_mboe_b1139_m: [SR 808.02.08] ({SR 808.02.08, r040, c010} = [boe_SR:x6013] and empty({SR 808.02.08, r2 ...ERROR
boe_boe_b1140_mboe_b1140_m: [SR 808.02.08] ({SR 808.02.08, r050, c010} = [boe_SR:x6015] and empty({SR 808.02.08, r2 ...ERROR
boe_boe_b1141_mboe_b1141_m: [SR 808.03.08] ({SR 808.03.08, r010, c010} = [boe_SR:x6017] and empty({SR 808.03.08, r0 ...ERROR
boe_boe_b1142_mboe_b1142_m: [SR 808.04.08.] ({SR 808.04.08, r010, c010} = [boe_SR:x6019] and empty({SR 808.04.08, c ...ERROR
boe_boe_b1143_mboe_b1143_m: [SR 808.05.08] ({SR 808.05.08, r010, c010} = [boe_SR:x6021] and empty({SR 808.05.08, c0 ...ERROR
boe_boe_b1144_mboe_b1144_m: [SR 808.06.08] ({SR 808.06.08, r010, c010} = [boe_SR:x6023] and empty({SR 808.06.08, r0 ...ERROR
boe_boe_b1145_mboe_b1145_m: [SR 808.07.08] ({SR 808.07.08, r010, c010} = [boe_SR:x6025] and empty({SR 808.07.08, r0 ...ERROR
boe_boe_b1146_mboe_b1146_m: [SR 808.08.08] ({SR 808.08.08, r010, c010} = [boe_SR:x6027] and empty({SR 808.08.08, c0 ...ERROR
boe_boe_b1147_mboe_b1147_m: [SR 808.09.08] ({SR 808.09.08, r010, c010} = [boe_SR:x6029] and empty({SR 808.09.08, c0 ...ERROR
boe_boe_b1150_tboe_b1150_t: [SR 99.01.01] empty({c050})ERROR
boe_boe_b1151_tboe_b1151_t: [SR 99.01.01] empty({c060})ERROR
boe_boe_b1152_tboe_b1152_t: [SR 99.01.01] empty({c070})ERROR
boe_boe_b1153_tboe_b1153_t: [SR 99.01.01] empty({c080})ERROR
boe_boe_b1154_tboe_b1154_t: [SR 99.01.01] empty({c090})ERROR
boe_boe_b1155_tboe_b1155_t: [SR 99.01.01] empty({c100})ERROR
boe_boe_b1156_tboe_b1156_t: [SR 99.01.01] empty({c110})ERROR