Immunization.protocolApplied.doseNumber has a minimum cardinality of 1 which seems odd. Why would the doseNumber be required? This means that something like targetDisease couldn't be documented without providing an intended doseNumber. It feels like a minimum cardinality of 0 is more appropriate. It can always be constrained in an IG.