/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:6.2.13.1, The length subtyping check for 'record of' or 'set of' types
 ** @verdict  pass reject
 ***************************************************/
module NegSem_06021301_LengthSubtyping_002 {
   type set length(0..10) of integer SetOfLengthLessThan10;

   type SetOfLengthLessThan10 SetOfLength4To5 length(4..5);
   type SetOfLength4To5 SetOfLength6 length(6);				//length out of parent type range

}