Provide more specific sub-clause information when referring to MutexType requirements