tedster - 5:11 am on Oct 17, 2012 (gmt 0)

is that what they themselves typed in, or what google decided they meant?

It's the actual search terms that were in the box - which might mean your URL was triggered by a Google "what they meant" decision, but if so your URL still did appear on that SERP.