# SECTION.items is 0..* but has invariant meaning it should be 1..*

## Description

In the EHR IM PDF, the UML for SECTION.items has '' (meaning 0..) but the corresponding class table has an invariant 'items /= Void implies not items.is_empty', which means that it should be 1..*.
This seems to be inconsistent.

We need to agree if the intention is 0..* or 1..*

None

## Activity

Show:
Thomas Beale
December 11, 2015, 10:32 AM

The specification is actually correct: the list may not exists, which corresponds to '0'; if it does, it must not be empty, which corresponds to the '*'.

Sebastian Garde

None

Minor
Configure