Constraint Descriptor : cons_lux_id4 (type: ERROR, kind: )

Constraint : cons_lux_id4

Constraint Name
cons_lux_id4 (type: ERROR, kind: )
Constraint Class
RecordTargetSpec
Package
luxh
Description
The third id element of recordTarget/patientRole can be nullFlavored with the values UNK or NI
OCL 
self.patientRole.oclIsUndefined() or 
self.patientRole.id->size()<3 or 
(
	self.patientRole.id->at(3).nullFlavor.oclIsUndefined() or 
	self.patientRole.id->at(3).nullFlavor=NullFlavor::UNK or 
	self.patientRole.id->at(3).nullFlavor=NullFlavor::NI
)