Webel has suggested that SysMLv2 should support verification of each individual claim of more than one Element helping to Satisfy a Requirement.

I've always thought that the Verify relationship in the SysML Requirements system - and the equivalent in other requirements engineering systems - does not do quite the right thing. What one needs to do is not Verify a Requirement, but Verify each claim that a Requirement is (at least partially) satisfied by an element of a system.