[Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetElementWithSubstitutionGroup (row 121) targetElement\InValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] Let targetElement='GTE' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetElement attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of GTE or an instance of some GED in the substitution group hierarchy whose head is GTE. [Microsoft Result] 
Invalid
I n v a l i d
V a l i d