A CheckStatement evaluates a predicate. If the evaluation is false, the mapping execution terminates fails and does nothing.
syntax: 
				check expression;
			
conformsTo 
				
					ObservableStatement
				
			
Associations
				
ownedExpression : OCLExpression[1]