While browsing reddit, the top rated post was about the trademark only lasting 6 months and expiring on April 1st next year. I thought that was an interesting point.
Well turns out the HL3 Trademark registration was a hoax.
http://www.gameinformer.com/b/news/archive/2013/10/04/4937427.aspx