e/Mike Holland

Information
has gloss	eng: Mike Holland may refer to: Mike Holland (golfer), American professional golfer Mike Holland (ski jumper), American former world record holder for longest jump *Mike Holland (politician), former Libertarian candidate for North Carolina House District 79
lexicalization	eng: Mike Holland
instance of	c/Possible cut-and-paste moves