extended the ExternalRelationSpecification with additional attribute "requirementImplementedCorrectly". It is to capture as a checkbox option if all the ITraceableArifacts implement the requirement.