$newline never $forall Entity occId ExamOccurrence{ examOccurrenceName, examOccurrenceRoom, examOccurrenceStart, examOccurrenceEnd, examOccurrenceDescription, examOccurrenceCapacity } <- occurrences
_{MsgExamRoomName} _{MsgExamRoomLoad} $case occMappingRule $of ExamRoomSurname _{MsgExamRoomMappingSurname} $of ExamRoomMatriculation _{MsgExamRoomMappingMatriculation} $of ExamRoomRandom _{MsgExamRoomMappingRandom} $of _ _{MsgExamRoom} _{MsgExamRoomTime} _{MsgExamRoomDescription}
$if isIgnored occId _{examOccurrenceName} $else _{examOccurrenceName} $if isIgnored occId _{loadProp (occLoad occId) examOccurrenceCapacity} $else _{loadProp (occLoad occId) examOccurrenceCapacity} $maybe nudgeWgt' <- Map.lookup occId nudgeWgt ^{nudgeWgt'} $maybe ignoreRoomWgt' <- Map.lookup occId ignoreRoomWgt ^{ignoreRoomWgt'} $if isIgnored occId $maybe mappingWgt <- occMapping occId ^{mappingWgt} $else $maybe mappingWgt <- occMapping occId ^{mappingWgt} $if isIgnored occId $maybe room <- examOccurrenceRoom ^{roomReferenceWidget room} $nothing _{MsgExamOccurrenceRoomIsUnset} $else $maybe room <- examOccurrenceRoom ^{roomReferenceWidget room} $nothing _{MsgExamOccurrenceRoomIsUnset} $if isIgnored occId ^{formatTimeRangeW SelFormatDateTime examOccurrenceStart examOccurrenceEnd} $else ^{formatTimeRangeW SelFormatDateTime examOccurrenceStart examOccurrenceEnd} $maybe desc <- examOccurrenceDescription $if isIgnored occId #{desc} $else #{desc}