The patterns to look for is:
The two patterns to look for is (syst) and (proc) possibly together with other specifications on system, component, or kind-of-property
(proc) only appears in kind-of-property specifications
(syst) as a specification to System should add annotation “The system for this examination should be/must be specified in the result report”
(syst) as a Component specifiation should add annotation “The component for this examination should be/must be specified in the result report”
(proc) should add annotation “The method/procedure should be/must be specified in the result report”
Wording to be confirmed by the group!