<human>: Question: what area radio was house music generally played on?
Answer: By 1985, although the exact origins of the term are debated, "house music" encompassed these locally produced recordings.
 Is the question answered in a satisfactory fashion?

OPTIONS:
- yes
- no
<bot>: no