In our model, we assume that an EPP feature can be a subfeature of a feature, along the lines of Pesetsky and Torrego (2001).
a '[+Feat:X]' feature (5b) can have an EPP subfeature that forces an element with a matching unvalued feature to Merge directly with the element containing the '[+Feat:X]'.