Dr Darren suggests that what you actually need to do if Verify each claim that an Element satisfies a Requirement, not Verify the Requirement directly. The suggestion is to have a trackable Verify relate to each Satisfy (instead of have a Verify directly to a Requirement).