In SysML more than one NamedElement can help Satisfy a single Requirement (which presents challenges for verifying satisfaction of Requirements). This is a conceptual challenge for requirements engineering in general, not just SysML!
This is not a problem specific to SysML; this is a conceptual challenge for requirements engineering in general!
