I want to know the answer to the following question:
what year was house music first used as a genre?
All the background I'm provided with is that "By 1985, although the exact origins of the term are debated, "house music" encompassed these locally produced recordings.". Is that enough to answer the question?