That’s a very good point. If DEN-SMF is a separate ticket the passenger isn’t really owed anything related to missing that trip. And it reads like it must have been a separate itinerary due to the companion issue.
In fact arguably WN could have canceled the DEN-SMF due to being a no show and forced a new ticket purchase. Assuming it is a separate itinerary, which I think it must be.